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)