209
edits
Changes
Jump to navigation
Jump to search
Line 8:
Line 8: − − 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. Line 25:
Line 19: − * [[proof by contradiction]]
Undo revision 715519 by PatrickD (Talk) I'm afraid you are mistaken sir. This is a common misconception and one I shall try to explain...
#If A is true, then B is true.
#If A is true, then B is true.
#Therefore, B is true.
#Therefore, B is 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]]