Proof by contraposition

From Conservapedia
This is the current revision of Proof by contraposition as edited by DavidB4-bot (Talk | contribs) at 17:11, August 25, 2016. This URL is a permanent link to this version of this page.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

  1. Assume ~Q.
  2. ...
  3. Therefore, ~P.
  4. Thus, ~Q=>~P
  5. Therefore, P=>Q