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: