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:

Also see

 * De Morgan's Laws as they arise in propositional logic
 * De Morgan's Laws as they are applied in set theory