Block, SkipCaptcha, Automoderated users, Bots, edit
57,719
edits
Changes
Jump to navigation
Jump to search
Line 27:
Line 27: − + Line 33:
Line 33: − +
→Truth Values in Sentential Logic: Spelling/Grammar Check, typos fixed: millenia → millennia
The final two are rooted in the fact that the consequent following from an antecedent that is not true says nothing about the truth or falsity of the statement, it must be ''assumed'' to be true.
The final two are rooted in the fact that the consequent following from an antecedent that is not true says nothing about the truth or falsity of the statement, it must be ''assumed'' to be 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 millennia ago in [[Ancient Greece]]. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism:
#All men are mortal.
#All men are mortal.
#Therefore, Socrates is mortal.
#Therefore, Socrates is mortal.
[[category:logic]]
[[Category:Logic]]
See also:
See also:
* [[induction]]
* [[induction]]
* [[proof by contradiction]]
* [[proof by contradiction]]