Material Detail

Logic and Proofs

Logic and Proofs

This online course comes from the Open Learning Initiative (OLI) by Carnegie Mellon. “The course includes self-guiding materials and activities, and is ideal for independent learners, or instructors trying out this course package.”

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

Show More

Quality

  • Editor Reviews
  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections (2) Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Logic and Proofs

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.