predicate calculus
谓词演算：一种形式逻辑系统
常用释义
英式发音
美式发音
基本释义
- 谓词演算：一种形式逻辑系统，用于表示和推理关于对象和它们之间关系的陈述。
例句
-
1·Predicate Calculus and Program Semantics.谓词演算与程序语义。
-
2·Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.从而形成了模糊谓词演算一种新的语构与语义体系。
-
3·Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
-
4·Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
-
5·A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
-
6·In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
-
7·This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
-
8·This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
-
9·After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
-
10·Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。