a branch of symbolic logic in which symbols are used to represent names and predicates within propositions and to analyse their relationships
| 单词 | predicate calculus |
| 释义 | predicate calculus |
| 随便看 |
|
英语词典包含66266条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。