Day 3: mat385

Last time: section 1.1: statements, symbolic representation, and tautologies Next time: section 1.2: propositional logic

Today:


Website maintained by Andy Long. Comments appreciated.