Negating a quantified statement

Pushing a negation inward one symbol at a time, so that every quantifier flips in order and the finished negation says what to go and find.

About 20 minutes6 activities Paper packet