Difference between revisions of "Proof by contraposition"
Jump to navigation
Jump to search
JimFullerton (talk | contribs) |
DavidB4-bot (talk | contribs) (→Proof by Contraposition of a Conditional Sentence P=>Q: Spelling/Grammar Check, typos fixed: Therefore → Therefore,) |
||
| 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]] | [[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