| propositional logic | ตรรกศาสตร์ประพจน์ [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔] |
| propositional logic | ตรรกศาสตร์เชิงประพจน์ [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
| propositional logic | (n) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, Syn. propositional calculus |
| 命题逻辑 | [命 题 逻 辑 / 命 題 邏 輯] propositional logic [Add to Longdo] |
| 命題論理 | [めいだいろんり, meidaironri] (n) (See 述語論理) propositional logic [Add to Longdo] |
| 命題論理学 | [めいだいろんりがく, meidaironrigaku] (n) propositional logic [Add to Longdo] |