Logic and Proofs
[return to MATH 215]

Suggested Exercises

• Problems and Solutions
• Guided notes
• Worksheets
• Group Quiz

Topics

• ​[video]   [pdf]   01 Propositions and Operations
• ​[video]   [pdf]   02 Evaluating Propositions
• ​[video]   [pdf]   03 Conditional Propositions
• ​[video]   [pdf]   04 Logical Equivalence
• ​[video]   [pdf]   05 Quantified Propositions
• ​[video]   [pdf]   06 Proving/Disproving Quantified Propositions
• ​[video]   [pdf]   07 Nested Quantifiers
• ​[video]   [pdf]   08 De Morgan's Laws
• ​[video]   [pdf]   09 Mathematical Proofs
• ​[video]   [pdf]   10 Direct Proof
• ​[video]   [pdf]   11 More Examples of Direct Proof
• ​[video]   [pdf]   12 Proof by Contraposition
• ​[video]   [pdf]   13 Proof by Contradiction