Day 7: mat385

Today:

• Announcement:
  • There's a math major/minor lunch this Friday: it runs from 11:30 to 1:30, in room ST343.

• Return homework 1.4
  • #7
  • #28/31
    • Watch those "there exists" and implications....
    • Watch those "for alls" and ands....

• Hand in homework 1.5

• These predicate wffs appear everywhere:

  "Everybody doesn't know some words." -- my son Thad (at age 5)

  Translate that into a theorem of predicate logic....

• Section 2.1 (pdf): Proof Techniques

• Problems from section 2.1 homework? Or other stuff?

• Section 2.2 (pdf): Induction

• A tiring proof....