existential quantifier
From WikiWord
English
Etymology
No etymology has been added yet.
Pronunciation
No pronunciation has been added yet.
Noun
existential quantifier noun
- 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".
Verb
No verb senses have been added yet.
Word map
Related terms
Synonyms
Usage & collocations
No usage or collocation data has been added yet.
Community definitions
Community definitions for existential quantifier appear here as readers add and vote on them.
Usage in the wild
Real example sentences for existential quantifier appear here as readers add them.