Logic & Proof Techniques
A 23-module path through logic & proof techniques, in study order from foundations to the frontier.
Modules
- Propositions and Truth Values
- Logical Connectives
- Truth Tables
- The Conditional Statement
- The Biconditional Statement
- Tautologies and Contradictions
- Logical Equivalence
- Laws of Logical Equivalence
- Converse, Inverse, and Contrapositive
- Predicates and Open Sentences
- Universal and Existential Quantifiers
- Nested and Multiple Quantifiers
- Negating Quantified Statements
- Direct Proof
- Proof by Contrapositive
- Proof by Contradiction
- Proof by Cases
- Proof of Biconditionals
- Disproof and Counterexamples
- Existence and Uniqueness Proofs
- Mathematical Induction
- Strong Induction
- Well-Ordering Principle