Topics

  • Sec 1.3: Propositional Equivalences
    • definitions of tautology, contradiction, logical equivalence
    • important logical equivalences (Tables 1-8): De Morgan’s Laws, distributive/associative/commutative laws, implication
    • satisfiability (considered as an algorithmic question)

To-Do After Class

  • Continue reading the textbook(s) and slides:
    • Rosen: Section 1.3
    • Levin: Section 3.1 (“Propositional Logic”)
  • Finish HW1 (updated with Sec 1.3 exercises)
    • due Monday (Feb 14) – hand in written solutions
    • see Files (“Rosen exercises” folder) for pdf extracts with textbook exercises