| 释义 |
predicate calculus 【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic] 以上来源于：《21世纪大英汉词典》 predicate calculusn.【逻】谓词演算；命题函项演算See alsopropositional calculus详细释义源自:《新世纪英汉大词典》Collins外研社 n.谓词演算；命题函项演算；参见：propositional calculus【逻辑】英英 |