Skip to content
Nydus Open Learning

Symbolic logic

Negating a quantified statement

The two equivalences that take a negation past a quantifier, what happens to the connective inside, and why the quantifiers flip without ever changing places.

About 20 minutes7 activities Paper packet