User:KarlFrei

House Rules
Moved discussion to talk as that is more appropriate.

Proofs by Contraposition
The below was collected in response to the statement made on my talk page that "Whether you prefer it to be a proof by contraposition or not, does not mean it is a proof by contraposition until it is turned into it."

Source 1
There is a useful rule of thumb, when you have a proof by contradiction, to see whether it is "really" a proof by contrapositive.

In a proof of by contrapositive, you prove P→Q by assuming ¬Q and reasoning until you obtain ¬P.

In a "genuine" proof by contradiction, you assume both P and ¬Q, and deduce some other contradiction R∧¬R.

So, at then end of your proof, ask yourself: Is the "contradiction" just that I have deduced ¬P, when the implication was P→Q? Did I never use P as an assumption? If both answers are "yes" then your proof is a proof by contraposition, and you can rephrase it in that way.

For example, here is a proof by "contradiction":

Proposition: Assume A⊆B. If x∉B then x∉A.

Proof. We proceed by contradiction. Assume x∉B and x∈A. Then, since A⊆B, we have x∈B. This is a contradiction, so the proof is complete.

That proof can be directly rephrased into a proof by contrapositive:

Proposition: Assume A⊆B. If x∉B then x∉A.

Proof. We proceed by contraposition. Assume x∈A. Then, since A⊆B, we have x∈B. This is what we wanted to prove, so the proof is complete.

Proof by contradiction can be applied to a much broader class of statements than proof by contraposition, which only works for implications. But there are proofs of implications by contradiction that cannot be directly rephrased into proofs by contraposition.

Proposition: If x is a multiple of 6 then x is a multiple of 2.

Proof. We proceed by contradiction. Let xbe a number that is a multiple of 6 but not a multiple of 2. Then x=6y for some y. We can rewrite this equation as 1⋅x=2⋅(3y). Because the right hand side is a multiple of 2, so is the left hand side. Then, because 2 is prime, and 1⋅x is a multiple of 2, either x is a multiple of 2 or 1 is a multiple of 2. Since we have assumed that x is not a multiple of 2, we see that 1 must be a multiple of 2. But that is impossible: we know 1 is not a multiple of 2. So we have a contradiction: 1 is a multiple of 2 and 1 is not a multiple of 2. The proof is complete.

Of course that proposition can be proved directly as well: the point is just that the proof given is genuinely a proof by contradiction, rather than a proof by contraposition. The key benefit of proof by contradiction is that you can stop when you find any contradiction, not only a contradiction directly involving the hypotheses.



It's not the same.

If P and Q are statements about instances that (a priori independently) are true for some instances and false for others then proving P⇒Q is the same as proving the contrapositive ¬Q ⇒¬P. Both mean the same thing: The set of instances for which P is true is contained in the set of instances where Q is true.

Proving a statement A by contradiction is something else: You add ¬A to your list of axioms, and using the rules of logic arrive at a contradiction, e.g., at 1=0. Then you say: My axiom system was fine before adding ¬A. Since this addition has spoiled it, in reality A has to be true.



Source 2
When coming to prove P⇒Q, we can either:
 * 1)     Prove directly, that is assume P and show Q;
 * 2)     Prove by contradiction, that is assume P and ¬Q and derive contradiction; or
 * 3)     Prove the contrapositive, that is assume ¬Q and show ¬P.