Definitions
Wiktionary
- n. logic 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.
WordNet 3.0
- n. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Examples
Sorry, no example sentences found.
Lists
‘existential quantifier’ hasn't been added to any lists yet.
Tweets
Looking for tweets for existential quantifier.
Comments
No comments yet...
Log in or sign up to get involved in the conversation. It's quick and easy.