请输入您要查询的英文单词:

 

单词 predicate calculus
释义

predicate calculus

noun

: the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives

called also functional calculus

compare propositional calculus

Word History

First Known Use

1950, in the meaning defined above

随便看

 

英语词典包含469781条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/11 6:51:35