This exercise will give you practice at applying the rules and building proofs.
- 1. Introduction
- 2. Basic Concepts
- 3. Arguments and Non-arguments
- 4. Induction and Deduction
- 5. Validity
- 6. Informal Fallacies in Reasoning
- 7. Categorical Logic
- 8. Propositional Logic
- 9. Natural Deduction
- 9.1 Pattern Recognition Exercises
- 9.2 Fill in the Blank Exercises
- 9.3 Exercises: Two sets
- 9.4 Rules of Equivalence
- 9.4.1 Listing of the rules of inference and equivalence
- 9.4.2 Another ten proofs to work
- 9.4.3 Yet more proof exercises
- 9.5 Conditional and Indirect Proof
- 9.5.1 Solutions to Conditional Proof exercises
- 9.5.2 Another way to appreciate CP
- 10. Predicate Logic and exercises
- Sample Final Exam
Meta