单词 | functional calculus |
释义 | functional calculus the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic. [1930-35] |
随便看 |
英语词典包含168451条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。