existential quantifier | ตัวบ่งปริมาณสำหรับตัวมีจริง [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
existential quantifier | (n) a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true, Syn. existential operator |