By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案，提供了求解的流程。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Each element's index is used in the logic of the predicate function.
将在谓词函数的逻辑中使用每个元素的索引。
The element's index is used in the logic of the predicate function.
项目的索引是用于述词功能的逻辑中。
The element's index is used in the logic of the predicate function.
项目的索引是用于述词功能的逻辑中。
应用推荐