Language of proof: Negation and quantifiers

Basic language and symbols for mathematical proof, including negation, for-all, there-exists. Also rules for negating "and" and "or" statements (de Morgan's Laws) and quantified statements.

This was recorded during a lesson, so there are some longish pauses in the teaching.