Inference Rule

定义 Definition

inference rule 指“推理规则/推导规则”：在逻辑、数学证明或形式系统中，用来规定如何从已知前提合法地推出结论的规则（例如“若 P 且 P→Q，则 Q”）。

发音 Pronunciation (IPA)

/nfrns rul/

例句 Examples

An inference rule helps us derive new statements from premises.
推理规则帮助我们从前提出发推出新的陈述。

Using the inference rule modus ponens, the system concludes that if the program is correct, then the output must satisfy the specification.
使用“肯定前件”（modus ponens）这一推理规则，系统得出结论：如果程序正确，那么输出必须满足规格说明。

词源 Etymology

inference 来自拉丁语 inferre（“带来、引出、推断”），由 *in-*（“向内/向上”）+ ferre（“携带”）构成；rule 源自拉丁语 regula（“直尺、规范、规则”）。合起来 inference rule 就是“用来进行推断的规则”，在逻辑学与计算机科学中是核心术语。

相词 Related Words

文学与名著用例 Literary Works

Principia Mathematica（Russell & Whitehead，《数学原理》）形式证明与推导体系中频繁讨论推理规则。
A Mathematical Introduction to Logic（Herbert B. Enderton，《逻辑学的数学导论》）系统讲解形式系统中的推理规则与证明。
Introduction to Mathematical Logic（Elliott Mendelson，《数理逻辑导论》）以“推理规则/推导规则”为核心概念组织证明理论内容。
Gdel, Escher, Bach: An Eternal Golden Braid（Douglas Hofstadter，《哥德尔、埃舍尔、巴赫》）以通俗方式涉及形式规则、推理与符号系统（含推理规则的思想背景）。