Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案，提供了求解的流程。
Both one-predicate logic and the class logic can not express all characteristics of traditional lexical item logic.
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
应用推荐