Highlighted lessons have been completed and placed online.

- Lesson 1: Categorical Propositions
- Lesson 2: Standard Form Categorical Syllogisms
- Lesson 3: The Counter Example Method for Determining Validity
- Lesson 4: Propositional Logic
- Lesson 5: Truth Table Construction and the Truth Table for Conjunction
- Lesson 6: Truth Tables: Disjunction, Conditional and Biconditional
- Lesson 7: Truth Tables: Negation
- Lesson 8: The Truth Table Test for Validity
- Lesson 9: Short Cut Truth Table Test for Validity
- Lesson 10: Propositional Logic Inference Rules
- Lesson 11: Truth Table Test for Equivalence
- Lesson 12: Propositional Logic Equivalence Rules
- Lesson 13: Derivation Strategy and Procedures
- Lesson 14: Conditional Proof
- Lesson 15: Indirect Proof