English noun: existential operator | |||
1. | existential operator (communication) a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true | ||
Synonyms | existential quantifier | ||
Broader (hypernym) | logical quantifier, quantifier | ||