example of false implies true
A common mistake in writing proofs is to overlook that false can imply true. Consider the following example:
. Clearly so . ∎
Of course this is wrong and . The mistake is that we start from a false premise, that of , and then use completely correct methods (multiply an equation on both sides by the same number) to arrive a true statement, that . That process is logical: false can imply true. However, the mistake in the “proof” is to think that only true can imply true, as then we are lead to believe that makes .
This line of argument is absurd in the example just given, but it is often hard to spot and many times a good looking proof is hiding such a mistake. For example:
for all integers .
Induction hypothesis: suppose that for some , . Now consider the case .
So by induction the theorem is true for all . ∎
Notice both the base case and the inductive step assume what is to be proved and then using only logical implications arrive at a place where something is obviously true, such as or . What makes these both incorrect is that:
We may arrive at truth by starting with either truth or fiction!
That is the way we define implication (at least in logic).
Some common signs of this mistake include:
The proof begins by assuming what is to be proved.
The exception to this is a proof by contradiction. Then the proof will end with something false. Implications do not allow this: true must imply only true. Hence it is accurate to then conclude that the assumption at the start was false.
Because of the possible confusion, it is almost always necessary to start a proof by contradiction with a phrase of the form ”Suppose not” or ”We proceed by contradiction”.
The proof ends with something that is always true, such as or or .
The proof cannot be read aloud.
This is an often overlooked tool in writing good proofs. Try to insert words like “implies” or “ from this it follows that ” for symbols like or or (even just new lines). If it sounds silly when read aloud in this way the chances are high that something is wrong. For example, the base case in the inductive proof above could be read as:
The sum from to of equals implies that .
Think: isn’t obvious? Why would that need to be implied by some ugly formula? Ah, it would not need to be. Perhaps the implication is not meaningful.
Correcting the mistake
For many problems the mistaken proof is nevertheless a good way to begin thinking about a correct proof. This is because by assuming what is to be proved one has something to begin with. By simplifying the problem down to something recognizably true, for example , it then seems certain that the equation is correct. To prove the result it is often a matter of only reversing the scratch work. To see this we use the ingredients of the incorrect proof of in the following correct proof. Notice also that we have included many more words and punctuation to the proof which makes it both readable and also helps us to understand the logic of the proof more easily.
We proceed by induction. In the base case and so on the left hand side of our equation we find that . On the right hand side we have . As the left hand side equals the right hand side, the base case is settled.
Now suppose for induction that for some integer . We then consider the case of the equation for . On the left hand side we have: with that last step applying the induction hypothesis. From here we use basic algebra to see that . Hence, by induction the equation holds for all . ∎
|Title||example of false implies true|
|Date of creation||2013-03-22 18:49:52|
|Last modified on||2013-03-22 18:49:52|
|Last modified by||Algeboy (12884)|