Day 3: mat385

Today:

• Roll

• Has everyone handed in their agreement?

• Homework 1.1 due next time

• Last time: Section 1.1 (pdf): Elements of Logic
  • Let's look at a "tautology test" example before we leave the section for 1.2

• General questions over 1.1, or the homework?
  • I thought that we'd do one example of tautologytest, to illustrate how that works.

• To prove you're smart, know some math!

• section 1.2 (highlights: Propositional Logic)