Thursday, November 13, 2008

If x^2 (x squared) is odd then x is odd. (Contraposition)

Assume x is an integer. If x^2 (x squared) is odd then x is odd.


This is the same proof as we did yesterday, except this time we will prove the statement using another form of logic called contraposition.


To do this, we must first state the contrapositive of what we set out to prove.

so

If x^2 (x squared) is odd then x is odd

now becomes

If x^2 (x squared) is even then x is even

which is the contrapositive, the idea is that if we can prove that x^2 is even for all x that is even, it stands to reason that x^2 can only be odd for all x that is odd.

The way to write this symbolically is ~Q => ~P so therefore P => Q.

So now we prove if x^2 (x squared) is even then x is even

x is even so x=2y for some integer y.

then x^2 = 2y(2y) = (4y^2) = 2(2y^2) which is even.

Therefore if x^2 is even x is even, so by contraposition, if x^2 is odd, x is odd.

1 comment:

dz80 said...

I believe that the contrapositive of

If x^2 (x squared) is odd then x is odd

is

If x is even then x^2 (x squared) is even

and not the other way around