英语释义

• a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

片语

connective in predicate calculus[计]

predicate m-calculus谓词m演算

unary predicate calculus单述词演算

monadic predicate calculusIn logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbol All atomic formulas are thus of the form P(x), where P is a relation symbol and x is a variable.

higher order predicate calculus较高阶述词演算

second predicate calculus第二阶述词演算

wffs of predicate calculus谓词演算公式

predicate calculus logic述词演算逻辑

predicate e calculus谓词演算

英汉例句

• Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

  从而形成了模糊谓词演算一种新的语构与语义体系。

• Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.

  本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。

• In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.

  本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。

• This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

  通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。