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

Back to Logic home page