Class 2 Agenda (Wed Feb 2)

Topics

• Continue with the basics of propositional logic
  • propositions and connectives
  • truth tables
  • examples similar to HW1 exercises

To-Do During/After Class

• Join the OpenLab group if you haven’t already (via the course profile)
• Continue reading the textbook(s) and slides:
  • Chapter1 (Part 1) Slides   
  • Rosen: Section 1.1 (“Propositional Logic”)
  • Levin: Section 3.1 (“Propositional Logic”)
• Start working on HW1!