Proof by Contraposition/Also known as

Proof by Contraposition: Also known as

The Proof by Contraposition is often confused with Reductio ad Absurdum, which also starts with an assumption $\neg q$.

To complicate things further, Reductio ad Absurdum itself is often confused with Proof by Contradiction.

Unlike Reductio ad Absurdum however, Proof by Contraposition is considered a valid proof in intuitionistic logic, as is Proof by Contradiction.

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.