CSSE 490: Logic: Day 6
Topics
- Rules of inference for formal proofs involving conditionals:
- Conditional introduction
- Conditional elimination
- Biconditional introduction
- Biconditional elimination
Materials
Slides
Assignments
- Day 7, BC: Read chapter 7
- Day 8, BC: Problems 6.29, 6.30, 6.31, 6.32, 8.44 - 8.53