Phrase guide
Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.
Sound
Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
No pronunciation record was provided for this word.
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".
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Definition source: Princeton WordNet 3.0
No example sentence was provided for this meaning.
Synonyms: existential operator
Antonyms: none provided
Broader terms: quantifier, logical quantifier
History
No etymology was provided for this word.
Across languages
14 source translations are retained for this English entry.
