|

existential operator

DEFINITIONS OF: existential operator

1

n a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

Synonyms:
existential quantifier
Type of:
logical quantifier, quantifier
(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
WORD FAMILY
USAGE EXAMPLES