| 单词 | Predicate Calculus |
| 释义 | Predicate CalculusThe branch of formal Logic dealing with representing the logical connections between statements as well as thestatements themselves. See also Gödel's Incompleteness Theorem, Logic,Predicate |
| 随便看 |
|
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。