Topics

  • Hand in HW#1 (Sec 1.1-1.3)
  • Sec 1.4: Predicates and Quantifiers
    • logic (language) for talking about individual objects and their properties
    • predicates: P(x), Q(x), …
    • quantifiers: universal quantifier ∀, existential quantifier ∃
      • ∀x P(x)
      • ∃x P(x)

Notes/To-Do After Class

  • Reading textbook(s) and slides:
    • Chapter1 (Part 2) Slides
    • Rosen: Section 1.4
  • Quiz #1: in-class on Wednesday (will cover basics of propositional logic: logical connectives & truth tables)