Day 5, Mat385

Last time

Next time

Announcements
- Pass back quizzes (Roll)
- Quizzes next time will cover up to section 1.2
Last time:
- We finished up Section 1.2, with a few remarks on highlight worksheet 1.2: Propositional Logic
- While grading your quizzes I had a few thoughts, which I want to discuss:
  - key for Quiz 01
  - Some related thoughts:
    - chatGPT-n-Jobs-n-Hell
    - Exceptionalism and inconsistency
    - Spurious implications
    - The Sheffer Stroke
Which brings us to today:
1. We'll wrap up Section 1.3.
2. Then it's on to Section 1.4 (Predicate Logic), using this highlight worksheet 1.4.
  Just so that you know, all hell hasn't broken yet: ChatGPT gets one wrong
Links:
- To prove you're smart, know some math!
- Maybe a little more than you want to know about Propositional Logic. "In 1917, French logician Jean Nicod discovered that it was possible to axiomatize propositional logic using the Sheffer stroke and only a single axiom schema and single inference rule."

Website maintained by Andy Long. Comments appreciated.