推理规则的英文
inference rule
rule of inference
- 推理: inference; ratioci ...
- 规则: rule; regulation; ...
- 推理规则, 推理法则: inference rule
例句与用法
更多例句: 上一页 下一页- Inference rules supply commands to update targets and to infer dependents for targets
推理规则提供命令来更新目标并推理目标的依赖项。 - Inference rules are user - defined or predefined ; predefined rules can be redefined
推理规则是用户定义的,或预定义的;预定义的规则可以重新定义。 - Extensions in an inference rule match a single target and dependent that have the same base name
推理规则中的扩展名与具有相同基名称的单个目标和依赖项匹配。 - Nmake looks for a matching inference rule if a description block is not followed by a commands block
如果描述块后面没有紧跟命令块, nmake将查找匹配的推理规则。 - If a description block s target has no dependents or commands , an inference rule can update the target
如果描述块的目标没有依赖项或命令,推理规则可以更新目标。
百科释义
在逻辑中,特别是数理逻辑中,推理规则(推论规则)是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中,新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证,但是形式化更加困难和有争议。
详细百科解释