SP20:Lecture 6 Quantifiers

From CS2800 wiki

We discussed quantified statements: how to prove them, how to use them in a proof, and how to negate them.

Order of quantifiers

Logical negation and proof by contradiction