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.