Friday Sep 22

First class, partly about logistics, and the main goals.

And, or, implies (chapter 1.1, 1.2). The main thing to know about how mathematicians use the phrase "X implies Y" is that they don't really care about causality -- just that whenever X is true, Y will definitely also be true.

Quantifiers (chapter 1.3). The perils of reordering them, and how they interact with "not".