Day 4: mat385

Today:

• Announcements
  • Your first homework (for section 1.1) is due today.
  • Homework for section 1.2 is due Wednesday, 9/7.
  • Remember, no class Monday, 9/5.
  • Let me emphasize again: the most important thing is that you TRY the homeworks. On some of them you may not succeed -- but I'm looking for effort!

• Last time: Section 1.2: Propositional Logic. Any questions over 1.2?

• Today: section 1.3: Quantifiers, Predicates, and Validity