Lecture notes
- Introduction (Jan. 21)
- Ch 1: Atomic sentences (Jan. 28)
- Ch 2: Logic of atomic sentences (Feb. 02 and Feb. 04)
- Ch 3: Boolean connectives (Feb. 09)
- Ch 4: Logic of Boolean connectives (Feb. 11 and Feb. 25)
- Ch. 6: Formal proofs in Boolean logic (Mar. 2)
- Ch. 7 and Ch. 8: Conditionals (Mar. 9, Mar. 11, and Mar. 25)
- Ch. 9: Introduction to quantification (Apr. 6, Apr. 8)
- Ch. 10: Logic of quantifiers (Apr. 15, Apr. 20, Apr. 22)
- Ch. 11: Multiple quantifiers (Apr. 27 and Apr. 29)
Applications
- Practice with proofs, counterexamples, and truth tables (Feb. 16 and Feb. 18)
- Practice proofs using the proof rules for Boolean connectives (Mar. 4)
- Proof strategies (Mar. 30)
- Proofs of some common lemmas (Apr. 1)
- Practice proofs with conditionals (Mar. 30 and Apr. 1)
- Proof construction tips (Apr. 6)
- A couple more practice proofs (Apr. 6)
Additional resources
- Topic list for the final exam
- Homework answer key
- Midterm Exam 1 answer key
- Midterm Exam 2 with answers
- Final exam answer key
- Up to date schedule
- Grade Grinder website