Day 5, Mat385

Last time

Next time

• Announcements
  • Roll
  • Our quiz today will cover section 1.2. (Remind me at 4:20)
  • Next time we'll be working on Proof techniques (here's my old highlight worksheet 2.1, if you want to get started....)

• Last time:
  • We finished section 1.2, and got most of the way through 1.3.
  • Marked up
    • highlights from 1.2
    • highlights from 1.3

• Today: a lot to do!
  • We wrap up section 1.3: Quantifiers, Predicates, and Validity, working on highlights from 1.3.
  • Then hit highlight worksheet 1.4
  • We end with a quiz.

  Links:

  • #31, section 1.4
  • #32, section 1.4
  • 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