Logic & Proofs

Discussion </> Embed Share Join Now

Logic & Proofs

Moderated by Einztein Course Discussions

http://oli.web.cmu.edu/openlearning/forstudents/freecourses/logic

Logic & Proofs is an introduction to modern symbolic logic. It provides a rigorous presentation of the syntax and semantics of sentential and predicate logic. The distinctive emphasis is on strategic argumentation.

argumentation education educational computability learning outcomes logic modern symbolic logic predicate logic presentation proofs semantics sententia syntax

Join Discussion to Post

Filter By

My Posts
Learned Posts
My Discussions
Joined Discussions
Favorite Members
Curated Posts