De Morgan's Laws (Predicate Logic)

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

They can be stated as:

$$ $$ $$ $$