Proof by contraposition
From Conservapedia
This is an old revision of this page, as edited by JimFullerton (Talk | contribs) at 18:43, February 3, 2011. It may differ significantly from current revision.
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
