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 strategic argumentation. Students learn effective strategies for constructing natural deduction proofs. This learning is supported by the Carnegie Proof Lab: it provides a sophisticated interface, in which students can give arguments by strategically guided forward and backward steps."