Topics

  • Finish basics of propositional logic (Sec 1.1)
    • truth tables of compound propositions (Sec 1.1.4)
    • examples similar to HW1 exercises
  • Quick overview of applications of propositional logic (Sec 1.2)
    • focus on “logic circuits” (Sec 1.2.6)
  • Start Sec 1.3: Logical Equivalence

To-Do During/After Class

  • Continue reading the textbook(s) and slides:
    • Rosen: Section 1.1-1.3
    • Levin: Section 3.1 (“Propositional Logic”)
  • Continue working on HW1!