逻辑推理

维基百科,自由的百科全书
跳转至: 导航搜索

邏輯中有三種邏輯推理的方式:演绎归纳溯因。給定前提、結論和規則,而前提導致結論,則可分別解釋如下:

  • 演繹用來決定 結論 。它使用 規則前提 來推導出 結論數學家通常使用這種推理。

舉例:"若下雨,則草地會變溼。因為今天下雨了,所以今天草地是溼的。"。

  • 歸納用來決定 規則 。它藉由大量的 前提結論 所組成的例子來學習 規則科學家通常使用這種推理。

舉例:"每次下雨,草地都是溼的。因此若明天下雨,草地就會變溼。"。

  • 溯因用來決定 前提 。它藉由 結論規則 來支援 前提 以解釋 結論診斷偵探通常使用這種推理。

舉例:"若下雨,草地會變溼。因為草地是溼的,所以曾下過雨。"。

参见[编辑]

外部链接[编辑]

引用[编辑]

[1] T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.