- 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.
- n. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Sorry, no example sentences found.
‘existential quantifier’ hasn't been added to any lists yet.
Looking for tweets for existential quantifier.