| predicate calculus | แคลคูลัสภาคแสดง [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
| predicate calculus | (n) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions), Syn. functional calculus |
| 述語論理 | [じゅつごろんり, jutsugoronri] (n) (See 命題論理) predicate logic; predicate calculus [Add to Longdo] |