Function: noun
Date: 1936
: a quantifier (as for some in “ for some x, 2 x + 5 = 8 ” ) that asserts that there exists at least one value of a variable ― called also existential operator
Function: noun
Date: 1936
: a quantifier (as for some in “ for some x, 2 x + 5 = 8 ” ) that asserts that there exists at least one value of a variable ― called also existential operator
Merriam Webster Collegiate English Dictionary. Merriam Webster - Энциклопедический словарь английского языка. 2012