Translate:

逻辑推理


Wikipedia 维基中文 免费百科全书Download this dictionary
逻辑推理
逻辑推理的三种方式演绎、归纳和溯因可以用如下方法解释(取自[1]):
给出 α, β，和规则 R1 : α ∴ β

  • 演绎 是使用规则和它的前件(precondition)来得出结论(α ∧ R1 ⇒ β)。
  • 归纳 是在多个 β 和 α 的例子之后认识到 R1。
  • 溯因 是使用后件(postcondition)和规则来假定可以解释后件的前件(β ∧ R1 ⇒ α)。

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许