Predicate Calculus and Program Semantics.

谓词演算与程序语义。

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

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

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。