Topics

  • Review Sec 1.4 & 1.5 (Predicates and Quantifiers; Nested Quantifiers)
    • HW#2 exercises
  • Briefly discuss Sec 1.6 (Rules of inference)
  • Start Sec 1.7: Proofs

Notes/To-Do After Class

  • Work on HW#2! Due Mon March 7
  • Start reading proofs (read examples from Sec 1.7)