单词 | propositional calculus |
释义 | propositional calculusnoun : the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus |
随便看 |
英语词典包含469781条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。