Day 7, Mat385

Last time

Next time

• Announcements
  • The quiz today will be over sections 1.3 and 1.4.
  • Dr. Kpandja Djawe

• Last time:
  • We finished most of 1.4 (we'll do two more problems from 1.4 to start today).
  • Marked up
    • highlights from 1.4
    • highlights from 2.1

• Today:
  • We'll finish off the last part of highlights from 1.4, and then do one more problem from the homework featuring a temporary hypothesis (#42).

    About temporary hypotheses....

  • Then we'll review Proof techniques from 2.1
  • Finally we'll start working on Proof by Induction (here's my highlight worksheet 2.2)
  • Then we'll have our quiz

• #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