Day 4: mat385

Today:

• Announcements

  • Your first homework (for section 1.1) is due today.
  • I've begun putting the class notes on the web

• Last time: Section 1.2 (pdf): Propositional Logic
  • Let's look at an example using English sentences before we leave the section for 1.2
  • General questions over 1.2, or the homework?

• Today: section 1.3 (highlights: (Quantifiers, Predicates, and Validity))