Day 3: mat385

Last time

Next time

Today:

• Announcements:
  • Reminder: turn off your rectangles.

  • Roll.

  • You have a problem set due Friday, another due next Monday, and another due next Wednesday. Keep up!:)

    Questions about the homework?

  • Probability of tossing a fair coin and having it land heads (or tails) 17 times in a row: $2\left(\frac{1}{2}\right)^{17} \approx .0000153$

    That's less than 1 in 50000 times. It ain't chance folks: it's a fix! (Well, it could be chance -- it's just so unlikely that we accept the much more plausible hypothesis of cheating.)

• Last time: we talked about propositional logic, and proving "theorems" in the form of wffs with implication as their main connective: Section 1.2: Propositional Logic

  Here's our mocked up version.

• Today: after finishing off 1.2, we'll begin Highlights of Section 1.3: Quantifiers, Predicates, and Validity

Links:

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