A reminder that we will have Exam #1 this Wednesday (Oct 3). The exam will cover Sections 1.1-1.6.

See below for a list of HW exercises from those sections to review (as well as some additional  exercises that you can work through for additional review).  You should also review Quizzes #1 & #2 (solutions have been posted to Files).

• Sec 1.1 (Propositional Logic):
  • #10, 14, 32
  • in addition review “exclusive-or”: pp5-6, #32(c)
• Sec 1.3 (Propositional Equivalences):
  • #9, 10 (tautologies using truth tables)
  • in addition: review “satisfiability”: pp30-31, #61
• Sec 1.4 (Predicates & Quantifiers):
  • #10, 18
  • Quiz #2
• Sec 1.5 (Nested Quantifiers):
  • from HW#3: #4(b)(d), 10(a)-(c), 30(a)-(d)
• Sec 1.6 (Rules of Inference):
  • read pp72-73
  • from HW#3: #5, 6 (similar to Examples 3-6)