Quantifiers and the order they come in

For-all and there-exists, what each one asks a proof to do, and why swapping a mixed pair produces a different claim.

About 20 minutes6 activities Paper packet