Image: Wikimedia Commons

existential quantification

Logical quantification stating that a statement holds for at least one object

EntityQ773483

Also known as exist · exists · there exists · there exists at least one · ∃ · for some

Subclass of: quantifier

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In predicate logic, an existential quantification is a type of quantifier which asserts the existence of an object with a given property. It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"), read as "there exists", "there is at least one", or "for some". Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.

Overview

All data

12 statements · 17% with external sources · numbers in brackets are citations

Notation: ∃
Has use: member of a group
Opposite of: universal quantification

On other databases

9 identifiers linking existential quantification across the web's reference databases

Data quality

statements

17%

externally sourced

Source last edited September 17, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q773483

API docs, limits & keys

Cite this page

AIDB. (2026). existential quantification (Q773483). Retrieved from https://aidb.si/e/existential-quantification-Q773483