Day 3, Mat385

Last time

Next time

• Announcements
  • Roll
  • We have a quiz at the end of the hour over section 1.1.

• Last time:
  • We worked out way through section 1.1 (Statements, Symbolic Representations, and Tautologies), which we examined using my highlights from 1.1.

  • Here is the marked up version of that.
  • Are there any questions from the homework?

• Today we delve into section 1.2: Propositional Logic
  • We'll start drawing conclusions using the tools of sections 1.1 and 1.2; check out highlights from 1.2.
  • I assigned some problems from this section, so keep trying them!