逻辑推理的三种方式演绎、归纳和溯因可以用如下方法解释(取自^*):

给出 α, β，和规则 R₁ : α ∴ β

• 演绎 是使用规则和它的前件(precondition)来得出结论(α ∧ R₁ ⇒ β)。

• 归纳 是在多个 β 和 α 的例子之后认识到 R₁。

• 溯因 是使用后件(postcondition)和规则来假定可以解释后件的前件(β ∧ R₁ ⇒ α)。

参见

• 理智
• 逻辑
• 推理
• 演绎推理
• 归纳推理
• 溯因推理
• 可废止推理

引用

^* T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.

logical reasoning | Concepts logiques

邏輯