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

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.