推理规则的英文

inference rule

rule of inference

• 推理:    inference; ratioci ...
• 规则:    rule; regulation; ...
• 推理规则, 推理法则:    inference rule

例句与用法

更多例句：  下一页

1. Rules of inference for quantifiers in discrete mathematics
   离散数学中与量词有关的推理规则
2. Completeness of rules of inference
   推理规则的完备性
3. Precedence in inference rules
   推理规则中的优先级
4. If no makefile is specified , it uses inference rules to build command - line
   如果未指定生成文件，则nmake使用推理规则生成命令行
5. Inference rules can build a command - line target even if no description block exists
   即使不存在描述块，推理规则也可以生成命令行目标。

百科释义

在逻辑中，特别是数理逻辑中，推理规则（推论规则）是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证，但是形式化更加困难和有争议。