::Existential quantification


''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