Day 4, Mat385

Last time

Next time

Announcements
- A reminder that we have a quiz today over section 1.1 (and maybe a smidge of Carroll).
- Roll
- I've added a directory of Edited Highlights -- annotated notes from class. Thanks, Xander, for getting that initiated.
Last time:
- We reviewed Section 1.1 (Statements, Symbolic Representations, and Tautologies).
- Discovered that ChatGPT can't do all of your homework, at least in section 1.1.
  Peyton elected to stress-test chatGPT on section 1.1, so I have created our project page, and sent Peyton his password (which probably went to his quarantine folder at webmail.nku.edu).
  As you choose your topics to stress-test against chatGPT, let me know.
- Then it was on to highlight worksheet 1.2: Propositional Logic -- and we got through most of that.
Which brings us to today:
1. We'll review Section 1.2:
  Questions on the homework problems?
2. Then it's on to Section 1.3 (Quantifiers, Predicates, and Validity), using this highlight worksheet 1.3
3. With 20 minutes left, we'll have a quiz.
Links:
- 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.