| When | Topic | Reading |
| Week 1 | Intro to FOL; Consequence & Nonconsequence | Chapters 1 & 2 |
| Week 2 | Sentential Consequence; Consistency & Inconsistency | Chapters 3 & 4 |
| Week 3 | Apply Rule; Reasoning by Cases | Chapters 5 & 6 |
| Week 4 | Independence Proofs | Chapter 7 |
| Week 5 | Sentence Connective Rules | Chapter 8 |
| Week 6 | Quantifier & Identity Rules | Chapter 9 |