Proof by Contraposition

Proof Technique
Proof by contraposition is a rule of inference used in proofs.

This rule infers a conditional statement from its contrapositive.

It is based on the Rule of Transposition, which says that a conditional statement and its contrapositive have the same truth value:


 * $p \implies q \dashv \vdash \neg q \implies \neg p$

In other words, the conclusion "if A, then B" is drawn from the single premise "if not B, then not A."

Explanation
Proof by Contraposition can be expressed in natural language as follows:

If we know that by making an assumption


 * $\neg q$

we can deduce


 * $\neg p$

then it must be the case that


 * $p \implies q$.

Thus it provides a means of proving a logical implication.

This proof is often confused with Reductio ad Absurdum, which also starts with an assumption $\neg q$.

Reductio ad Absurdum itself is often confused with Proof by Contradiction.

Unlike Reductio ad Absurdum however, Proof by Contraposition can be a valid proof in intuitionistic logic, just like Proof by Contradiction.

Specifically, suppose


 * $p \implies q$

is true.

Suppose furthermore that we have a proof of


 * $\neg q$.

Then if we had a proof of $p$, it could be turned into a proof of $q$.

This would imply


 * $q\land \neg q$

which is impossible.

Therefore


 * $\neg p$.

However, now suppose


 * $\neg q \implies \neg p$

is true.

Suppose furthermore that we have a proof of


 * $p$.

Then if we had a proof of $\neg q$, it could be turned into a proof of $\neg p$.

This would imply


 * $p\land\neg p$

which is impossible.

Thus it is not possible to prove $\neg q$.

That means in this case we only know


 * $\neg \neg q$