existential quantifier

详细解释:【计】 存在量词

英语解释：

名词 existential quantifier:

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true同义词：existential operator