## ::Existential quantification

### ::concepts

''n''::exists Mathbf::which Natural::number There::logic Domain::''x'' Logical::function

{{#invoke:redirect hatnote|redirect}}
{{#invoke:Hatnote|hatnote}}

In predicate logic, an **existential quantification** is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some".

It is usually denoted by the turned E (∃) logical operator symbol, which, when used together with a predicate variable, is called an **existential quantifier** ("∃x" or "∃(x)"). Existential quantification is distinct from *universal* quantification ("for all"), which asserts that the property or relation holds for *all* members of the domain.

Symbols are encoded **Expression error: Unrecognized punctuation character "{".** and **Expression error: Unrecognized punctuation character "{".**.

**Existential quantification sections**

Intro Basics Properties As adjoint See also Notes References

PREVIOUS: Intro | NEXT: Basics |

<< | >> |