Topics

  • Review & examples from Sec 1.4 (Predicates and Quantifiers)
    • quantifiers: universal quantifier ∀, existential quantifier ∃
      • ∀x P(x)
      • ∃x P(x)
    • HW#2 exercises
  • Sec 1.5: Nested Quantifiers
  • Quiz #1

Notes/To-Do After Class

  • No class next week:
    • College is closed Monday (Feb 21)
    • Our class won’t meet Wednesday (Feb 23)
    • So our next meeting will be Monday Feb 28
  • Work on HW#2! Due Wed March 2
  • Read textbook (examples) and slides:
    • Sec 1.4 & Sec 1.5
    • Chapter1 (Part 2) Slides