Day 4, Mat385

Last time

Next time

• Announcements
  • Roll
  • Our quiz this week will cover section 1.2

• Last time:
  • We worked our way through section 1.2, but still had a little more to do.
  • Marked up highlights from 1.2 from last time.
  • We had a quiz at the end of the hour over section 1.1.
    • Key
    • Median: 7.5

• Today we delve into section 1.3: Quantifiers, Predicates, and Validity, working on highlight worksheet 1.3.
  • I assigned some problems from this section, so keep trying them!
  • Next time it's on to Section 1.4 (Predicate Logic); if you want you can use this highlight worksheet 1.4 (which I will modify, but it's close).

• Links:
  • The Curious History of Venn Diagrams: A look at the curious history of Venn diagrams and how they blend logic with geometry (Scientific American)
    

  • Some Fun, Motivating Examples from Propositional and Predicate Calculus