逻辑推理
维基百科，自由的百科全书
邏輯中有三種邏輯推理的方式：演绎、归纳和溯因。給定前提、結論和規則，而前提導致結論，則可分別解釋如下：
-
- 演繹用來決定 結論 。它使用 規則 和 前提 來推導出 結論 。數學家通常使用這種推理。
舉例："若下雨，則草地會變溼。因為今天下雨了，所以今天草地是溼的。"。
-
- 歸納用來決定 規則 。它藉由大量的 前提 和 結論 所組成的例子來學習 規則 。科學家通常使用這種推理。
舉例："每次下雨，草地都是溼的。因此若明天下雨，草地就會變溼。"。
舉例："若下雨，草地會變溼。因為草地是溼的，所以曾下過雨。"。
参见 [编辑]
外部链接 [编辑]
引用 [编辑]
[1] T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.
