Difference between revisions of "Proof by contraposition"
Jump to navigation
Jump to search
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...") |
JimFullerton (talk | contribs) |
||
| Line 7: | Line 7: | ||
#Thus, ~Q=>~P | #Thus, ~Q=>~P | ||
#Therefore, P=>Q | #Therefore, P=>Q | ||
| + | |||
| + | [[Category:Mathematics]] | ||
Revision as of 18:45, February 3, 2011
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