By predicate logic, the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案, 提供了求解的流程.

互联网

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

互联网

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

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

互联网