quantifier | (n) คำหรือวลีแสดงจำนวนซึ่งใช้ขยายคำนามในภาษาอังกฤษ |
quantifier | ตัวบ่งปริมาณ [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔] |
quantifier | ตัวบ่งปริมาณ [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
existential quantifier | ตัวบ่งปริมาณสำหรับตัวมีจริง [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
universal quantifier | ตัวบ่งปริมาณสำหรับทุกตัว [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
quantifier | ตัวบ่งปริมาณ, ข้อความที่บอกปริมาณ เช่น ประโยค "สำหรับ x ทุกตัว ถ้า x เป็นจำนวนเต็มแล้ว x เป็นจำนวนจริง" ข้อความ "สำหรับ x ทุกตัว " เป็นตัวบ่งปริมาณ [พจนานุกรมศัพท์ สสวท.] |
quantified |
quantified | |
quantifies |
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 |
quantifier | (n) (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition, Syn. logical quantifier |
quantifier | (n) (grammar) a word that expresses a quantity (as `fifteen' or `many') |
universal quantifier | (n) a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things |
量化逻辑 | [量 化 逻 辑 / 量 化 邏 輯] quantified logic [Add to Longdo] |
befähigen | befähigt | befähigte | to quantify | quantifies | quantified [Add to Longdo] |
限量子 | [げんりょうし, genryoushi] (n) { math } quantifier [Add to Longdo] |
量記号 | [りょうきごう, ryoukigou] (n) quantifier [Add to Longdo] |