I saw this question where I had to prove/disprove that:
Ques. Product of two irrational number is irrational.
I tried 'Proof by Contraposition'.
Product of two irrational number is irrational.
p : Product of two irrational number
q : Irrational number.
Thus, given statement is : p -> q
Contraposition of p : ¬q -> ¬p
Rational number -> Can be broken down into product of two rational number.
Let m be a rational number such that m = p/q.
Then I can always write m as (p/1)*(1/q)
where (p/1) and (1/q) are both rational numbers. Hence proved.
But it turns out that books disproves the statement saying $\sqrt2\cdot\sqrt2=2$ which is a rational number and hence Product of two irrational number need not always be irrational. Which I find convincing.
Can someone please point out where am I going wrong in my proof?