| 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
即使不存在描述块，推理规则也可以生成命令行目标。 |
| 6. | Inference rules supply commands to update targets and to infer dependents for targets
推理规则提供命令来更新目标并推理目标的依赖项。 |
| 7. | Inference rules are user - defined or predefined ; predefined rules can be redefined
推理规则是用户定义的，或预定义的；预定义的规则可以重新定义。 |
| 8. | Extensions in an inference rule match a single target and dependent that have the same base name
推理规则中的扩展名与具有相同基名称的单个目标和依赖项匹配。 |
| 9. | Nmake looks for a matching inference rule if a description block is not followed by a commands block
如果描述块后面没有紧跟命令块， nmake将查找匹配的推理规则。 |
| 10. | If a description block s target has no dependents or commands , an inference rule can update the target
如果描述块的目标没有依赖项或命令，推理规则可以更新目标。 |
