Difference between revisions of "Proof by contraposition"
JimFullerton (talk | contribs) (Created page with "'''Proof by Contraposition''' is an indirect mathematical proof for a conditional sentence P=>Q that relies upon the tautology (P=>Q)<=>(~Q=>~P). ==Proof by Contraposition o...") |
DavidB4-bot (talk | contribs) (→Proof by Contraposition of a Conditional Sentence P=>Q: Spelling/Grammar Check, typos fixed: Therefore → Therefore,) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 4: | Line 4: | ||
#Assume ~Q. | #Assume ~Q. | ||
#... | #... | ||
| − | #Therefore ~P. | + | #Therefore, ~P. |
#Thus, ~Q=>~P | #Thus, ~Q=>~P | ||
#Therefore, P=>Q | #Therefore, P=>Q | ||
| + | |||
| + | [[Category:Mathematics]] | ||
Latest revision as of 17:11, August 25, 2016
Proof by Contraposition is an indirect mathematical proof for a conditional sentence P=>Q that relies upon the tautology (P=>Q)<=>(~Q=>~P).
Proof by Contraposition of a Conditional Sentence P=>Q
- Assume ~Q.
- ...
- Therefore, ~P.
- Thus, ~Q=>~P
- Therefore, P=>Q