# De Morgan's Laws (Predicate Logic)/Assertion of Universality

## Contents

## Theorem

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

Then:

- $\forall x: \map P x \dashv \vdash \neg \exists x: \neg \map P x$

*If everything***is**, there exists nothing that**is not**.

## Proof

## Source of Name

This entry was named for Augustus De Morgan.

## Sources

- 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 1$: Some mathematical language: Variables and quantifiers - 1980: D.J. O'Connor and Betty Powell:
*Elementary Logic*... (previous) ... (next): $\S \text{III}$: The Logic of Predicates $(1): \ 3$: Quantifiers: Relations between quantifiers $1$ - 1982: P.M. Cohn:
*Algebra Volume 1*(2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.1$: The need for logic