中英互译
predicate logic
基本释义
- 谓词逻辑：一类符号形式系统，如一阶逻辑、二阶逻辑、多分类逻辑或无穷逻辑等。
双语例句
- 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.一阶谓词逻辑是现代逻辑中最为经典的演算系统。
- Symbolic logic is often divided into two branches, propositional logic and predicate logic.符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
网络短语
- predicate logic language谓词逻辑语言
- first order predicate logic一阶谓词逻辑；叙述逻辑
- first-order predicate logic一阶谓词逻辑
- third order predicate logic三阶谓词逻辑
- First-order Fuzzy Predicate Logic一阶模糊谓词逻辑
英英释义
- In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified.