单词 | sentential calculus |
释义 | sentential calculus the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. Also called propositional calculus, sentential logic. [1935-40] |
随便看 |
英语词典包含168451条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。