181
edits
Changes
Jump to navigation
Jump to search
Line 8:
Line 8: + + + + + + Line 19:
Line 25: +
Restore removed material. It is NOT an induction; it is a perfectly valid deduction.
#If A is true, then B is true.
#If A is true, then B is true.
#Therefore, B is true.
#Therefore, B is true.
Another type of deduction, known as "[[proof by contradiction]]", is:
#If Q is true, then R is true.
#R is not true.
#Therefore, Q is not true.
Aristotle codified the rules of syllogistic deduction two millenia ago in [[Ancient Greece]]. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism:
Aristotle codified the rules of syllogistic deduction two millenia ago in [[Ancient Greece]]. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism:
See also:
See also:
* [[induction]]
* [[induction]]
* [[proof by contradiction]]