predicate logic
常见例句
- By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。 - Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
blog.sina.com.cn - Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.
给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。 - Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
NEWYORKER: Utopian for Beginners 返回 predicate logic