Proof by Contraposition

Home > Philosophy > Logic > Formal Proof > Proof by Contraposition

In this type of proof, the conclusion is proved by showing that its contrapositive is true. The contrapositive of a statement is its inverse with the negation of the conclusion.