Symbolic logic is often divided into two branches, propositional logic and predicate logic. 符号逻辑往往分为两个分支,命题逻辑和谓词逻辑(PL)。
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic. 任何逻辑使用存在量词或全称量词是说是一个谓词逻辑(PL)。
I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic. 我相信对于学习布尔代数学和谓词逻辑(PL)的计算机科学学生来说它是非常有用的。
Predicate logic : also predicate calculus, which studies the internal structure of simple propositions. 谓词逻辑(PL):也叫谓词演算,它研究简单命题的内部结构。
Prolog Programming Based on Predicate Logic(PL) 基于谓词逻辑(PL)的Prolog程序设计