Day 3: mat385

Last time: section 1.1 (propositional logic) Next time: discuss section 1.3 (Quantifiers, Predicates, and Validity)

Today:

Links:


Website maintained by Andy Long. Comments appreciated.