HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of existential quantifier | Babel Free

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Learn this word in context

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

Start Free Course