existential quantifier
nounDefinition of existential quantifier
: a quantifier (such as for some in "for some x, 2x + 5 = 8") that asserts that there exists at least one value of a variable
— called also existential operator
Keep scrolling for more