De Morgan's Laws (Predicate Logic)

Theorem
These are extensions of De Morgan's laws of propositional logic.

They are used to connect the universal quantifier $$\forall$$ with the existential quantifier $$\exists$$.

They can be stated as:

$$ $$ $$ $$