existential quantifier存在量詞學術名詞存在量詞：數學、資訊英文釋義a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true