[数]谓词逻辑

predicate noun───谓语性名词

predicate nouns───谓语性名词

predicate calculi───谓词结石

predicate calculus───[数]谓词演算

pneumatologic───气动学

prebiologic───生物前

prediabetic───adj.前驱糖尿病的；n.前驱糖尿病人

predicate───n.谓语，述语；v.使……基于；断言；暗示；adj.谓语的，述语的

predicated───v.使以……为依据；断言，断定；（语法）意为，暗示（predicate的过去式和过去分词）

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.───谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

Symbolic logic is often divided into two branches, propositional logic and predicate logic.───符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

Predicate logic of first order is the most classical calculation system in modern logic.───一阶谓词逻辑是现代逻辑中最为经典的演算系统。

By predicate logic, the solution is set up and the process of analysis is provided.───依据谓词逻辑规则建立解决方案，提供了求解的流程。

At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.

In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.

Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.

By predicate logic, the solution is set up and the process of analysis is provided.

For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.

At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate,[sentencedict.com/predicate logic.html] and is one of the most important theoretical bases of AI.