CSSE 490: Logic: Day 6

Topics

• Rules of inference for formal proofs involving conditionals:
  • Conditional introduction
  • Conditional elimination
  • Biconditional introduction
  • Biconditional elimination

Materials

Assignments

• Day 7, BC: Read chapter 7
• Day 8, BC: Problems 6.29, 6.30, 6.31, 6.32, 8.44 - 8.53