单词predicate calculus
网络: 谓词演算；谓词逻辑；述词演算
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
The atomic formula is called atom for short in predicate calculus.
在谓词演算中，有时将原子公式简称为原子。
In the refutation tree of predicate calculus , the proved conjunctive formula.
在谓词演算的反驳树中，被证明的合式公式。
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
Also predicate calculus, which studies the internal structure of simple.
也叫谓语演算，它研究简单马那瓜体的内部结构。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus" syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
A conditional predicate calculus logic for PKI trust model analysis
PKI信任模型的条件谓词逻辑推理
NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
一阶谓词演算自然演绎型直觉主义系统
PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic
基于概率和条件逻辑的PKI信任模型推理