43
edits
Changes
no edit summary
#R is not true.
#R is not true.
#Therefore, Q is not true.
#Therefore, Q is not true.
== Truth Values in Sentential Logic ==
T implies T, True
T implies F, False
F implies F, True
F implies T, 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 millenia ago in [[Ancient Greece]]. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism: