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

 

单词 predicate calculus
释义

predicate calculus

noun
mass noun
the branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers
谓词演算。
随便看

 

英汉双解词典包含131075条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/9 4:45:29