Friday, 17 June 2016

propositional calculus - Does the => truth table break mathematical induction?



Since FF and FT both evaluate to T with the truth table for , does this not break mathematical induction?



For example, once you show the base case holds for a proposition P, then you could do the induction hypothesis as follows: "Suppose P(k) does not hold. Since P(k+1) will either hold or not with this assumption, P(k)P(k+1), thus P(n) holds for all nN."


Answer



No, it doesn't. You can only deduce from true statements. That's independent of the truth table (and even is true in logic systems that don't know truth tables).




But imagine if FT would be false. Then you could prove 1=0 as follows:




Let's assume 0=1 were false. Now 0=11=0 (symmetry). But 1=00=11=1 (transitivity). Therefore we have proven 0=11=1. But since 1=1 is undeniably true, that would mean a false statement implies a true statement, violating that (FT) is false. Thus 0=1 cannot be false by contradiction.




As you can see, actually (FT)=F would break logic.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...