单词 | predicate calculus |
释义 | predicate calculus n. The branch of symbolic logic that deals with relations between propositions and with their internal structure, especially the relation between subject and predicate. |
随便看 |
英语词典包含135693条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。