Day 5: mat385

Today:

• Announcements

  • A homework is due (section 1.2)
  • Your first homework (for section 1.1) is returned:
    • 2(b,d)
    • 5(a)
    • 7(d,e)
      • e: the negation of a implication can't be an implication: when you negate all those Ts, you have to get a lot of Fs (but you can't with an implication!).
    • 37
      1. I liked this one: " is dependent on N, so we don't know if it's true or false. is dependent on what N is, and N' is dependent on N."
    • and completion
  • Your first project

• Last time: Section 1.3 (pdf): (Quantifiers, Predicates, and Validity))

• Today: section 1.4 (highlights: Predicate Logic)