Francais | English | Espanõl

From Wikipedia, the free encyclopedia

The three methods for logical reasoning, deduction, induction and abduction can be explained in the following way: <ref>T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.</ref>

Given preconditions α, postconditions β and the rule R₁: α ∴ β (α therefore β).

• Deduction means determining β. It is using the rule and its preconditions to make a conclusion (α ∧ R₁ ⇒ β).

• Induction means determining R₁. It is learning R₁ after numerous examples of β and α.

• Abduction means determining α. It is using the postcondition and the rule to assume that the precondition could explain the postcondition (β ∧ R₁ ⇒ α).

[edit] See also

• Logic
• Logical fallacy
• Logical argument
• Reason
• Reasoning
• Deductive reasoning
• Inductive reasoning
• Abductive reasoning
• Defeasible reasoning

[edit] References

<references/>

nl:redenering fr:Concepts logiques zh:逻辑推理