Talk:Proof by Contraposition

The standard technique for this on is usually to set such a proof up as a Proof by Contradiction.

That is:


 * "To be proved: $p \implies q$."


 * "Let $p$ be assumed.


 * " $\neg q$.


 * After some working:


 * "Hence $\neg p$.


 * "But this contradicts $p$.


 * "Hence, by Proof by Contradiction, $q$.


 * "Hence the result."


 * --prime mover (talk) 16:38, 13 September 2018 (EDT)

I see. Thank you for keeping the page up anyway :-) I believe it is important pedagogically to distinguish between these two types of proofs. In a proof by contradiction, you begin with an assumption and end up with a nonsense statement (a logical contradiction). In a proof by contraposition, you only end up with $\neg p$.


 * As for "keeping the page up" -- it is very rare that we actually delete pages from . --prime mover (talk) 03:25, 14 September 2018 (EDT)

Now of course, if you include the assumption $p$ at the start (as above), the conclusion $\neg p$ is indeed nonsense; but often the assumption $p$ is not actually used inside the proof, and an astute reader could point out that the contradiction only arises because we insisted on assuming $p$ at the start, as otherwise there would be no problem.

So I think the goals of these two types of proofs are quite different, and I think it is good to point out the underlying principle (the rule of transposition). If you don't mind, I may edit some proofs to refer to the page Proof by Contraposition instead. Robsiegen (talk) 03:09, 14 September 2018 (EDT)


 * As I founder on logic, I will defer to you -- I find the details tiresome, and have difficulty with the philosophical implications. :-) Feel free to go ahead, but try and keep a rigorously consistent style, with a view to going forward and building a template for oft-repeated boilerplate. --prime mover (talk) 03:24, 14 September 2018 (EDT)