Day 3: mat385

Last time: section 1.1 (propositional logic)

Next time: discuss section 1.3 (Quantifiers, Predicates, and Validity)

Today:

Announcements
- Please put away your rectangles.
- Homework 1.1 is due next time:
  - Remember: the most important thing is that you give the problems a try! How are you doing?
  - What questions do you have?
- For your first "homework" it was a basically binary world: I either gave you a GOHF (Get Out of Homework Free) card, or I didn't -- based on how much work you appeared to do toward resolving Alex's conjecture (or working on one of your own). In some cases I gave a half. An odd concept that. I suppose that it will eventually round up...:)
  The exercise won't hurt anyone, in any event. But you should be thinking about how to show such results, and what tools you can use. It's part of the objective of this course to get you thinking this way.
Last time: we talked about logic, and nearly finished Section 1.1: Elements of Logic
Today: we'll begin Highlights of Section 1.2: Propositional Logic

Links:

Website maintained by Andy Long. Comments appreciated.