predicate calculus logic

基本解释

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理PKI信任关系的方法。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。