Block, SkipCaptcha, apieditor, Automoderated users, Bots, edit, ratelimit-exempt
58,183
edits
Changes
Jump to navigation
Jump to search
Line 2:
Line 2: − + Line 11:
Line 11: − +
Spelling/Grammar Check, typos fixed: antecendent → antecedent, Eg: → E.g.:
==Common English==
==Common English==
Take the conditional: "if this bird is a raven then this bird is black". "This bird is a raven" is called the antecendent, "this bird is black" is the consequent. The truth of the antecedent is dependent on the truth of the consequent. If the consequent is false, if "this bird" is not black, then we can be assured that "this bird" is not a raven.
Take the conditional: "if this bird is a raven then this bird is black". "This bird is a raven" is called the antecedent, "this bird is black" is the consequent. The truth of the antecedent is dependent on the truth of the consequent. If the consequent is false, if "this bird" is not black, then we can be assured that "this bird" is not a raven.
==Logical Notation==
==Logical Notation==
# ¬R (from 1 and 3, Modus Tolens)
# ¬R (from 1 and 3, Modus Tolens)
Modus Tolens will operate on any argument of this form, any values of R and B that can be expressed as "RﬤB" where we can establish "¬B". Eg:
Modus Tolens will operate on any argument of this form, any values of R and B that can be expressed as "RﬤB" where we can establish "¬B". E.g.:
* Every Ancient Egyptian is dead (if they are an Ancient Egyptian then they are dead), Harry is not dead, therefore Harry is not an Ancient Egyptian.
* Every Ancient Egyptian is dead (if they are an Ancient Egyptian then they are dead), Harry is not dead, therefore Harry is not an Ancient Egyptian.