Day 3, Mat385

Last time

Next time

Announcements
- This session will be captured on Zoom, if I remember to turn it on, and record it. Please help me to remember.
  Here's a menu of our past zooms...
- A reminder that you have a homework due on Wednesday night at midnight (submit on Canvas). It covers Section 1.1.
- Roll (anyone need to fill out a card?)
Last time:
- We reviewed Lewis Carroll's The Game of Logic.
  After class Yoseph and I looked over some of the 10 examples Carroll treated in your handout. There's some really interesting stuff going on in some of them! (Once we get the formalism of this first chapter, they're a little easier to do.)
- 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. If you have your copy, play along!
  - We have to finish that up.
- Then it's on to highlight worksheet 1.2: Propositional Logic
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.