逻辑推理

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

邏輯中有三種方式:演绎归纳溯因。給定前提、結論和規則,而前提導致結論,例如:

前提:下雨了
规则:下雨使草地变湿
结论:草地是湿的
  • 演繹用來決定結論。它使用規則前提來推導出結論數學家通常使用這種推理。舉例:"若下雨,則草地會變溼。因為今天下雨了,所以今天草地是溼的。"。
  • 歸納用來決定規則。它藉由大量的前提結論所組成的例子來學習規則科學家通常使用這種推理。舉例:"每次下雨,草地都是溼的。因此若明天下雨,明天草地就會變溼。"。
  • 溯因用來決定前提。它藉由結論規則來支援前提以解釋結論診斷偵探通常使用這種推理。舉例:"若下雨,草地會變溼。之所以草地是溼的,因为曾下過雨。"。

参见[编辑]

引用[编辑]

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