Day 5: mat385

Last time: section 1.3

Next time: discuss section 2.1

Today:

Return homework 1.2.
Collect remaining homework 1.2...
Homework 1.3 due next time
Section 1.4 (pdf): Predicate logic
Equivalences (pdf): some proofs required from last time....

Website maintained by Andy Long. Comments appreciated.