Day 3, Mat385

Last time

Next time

Announcements
- A reminder that we will have a quiz on Thursday, over Section 1.1 (and maybe a little Lewis Carroll).
- Here's another resource for Lewis Carroll and his logic game. And it actually points to what we're up to in section 1.3.
- Roll
Last time:
- We reviewed Lewis Carroll's The Game of Logic.
- Then we dove into section 1.1, for a more "mundane" look at logic!
  - Section 1.1 (Statements, Symbolic Representations, and Tautologies), which we examine using the highlight worksheet 1.1.
  - What questions do you have about section 1.1, or the problems from that section?
  - Can chatGPT do our homework? Not quite, it turns out.
- Today it's on to highlight worksheet 1.2: Propositional Logic
Links:
- Alarmed by A.I. Chatbots, Universities Start Revamping How They Teach: With the rise of the popular new chatbot ChatGPT, colleges are restructuring some courses and taking preventive measures.
- 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.