# De Morgan's Laws (Predicate Logic)/Denial of Existence

(Redirected from Denial of Existence)

## Theorem

Let $\forall$ and $\exists$ denote the universal quantifier and existential quantifier respectively.

Then:

$\forall x: \neg P \paren x \dashv \vdash \neg \exists x: P \paren x$
If everything is not, there exists nothing that is.

## Source of Name

This entry was named for Augustus De Morgan.