CSSE 490: Logic: Day 5
Topics
- Rules of inference for formal proofs involving boolean connectives:
- Conjunction introduction
- Conjunction elimination
- Disjunction introduction
- Disjunction elimination
- Negation introduction
- Negation elimination
- Contradiction introduction
- Contradiction elimination
- Proof by cases
- Proof by contradiction
- Arguments from inconsistent premises
Materials
Slides
Assignments
- Day 6, BC: Read sections 8.0 - 8.2
- Day 7, BC: Problems 6.4, 6.6, 6.9, 6.10, 6.14, 6.15, 6.16.