HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › existential quantifier
Back to search

existential quantifier

Noun CEFR B2

Definitions

The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

Equivalents

5 more languages

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

existential risk existential type Existentialism Existentialist existentialist anarchism existentialist anarchist

Learn this word in context

See existential quantifier used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free