Is $x^y$ always irrational if $x$ is rational and $y$ is irrational? 
Prove or disprove:
"If $x$ is a rational number, and $y$ is an irrational number then
$x^y$ is irrational"

I am stuck with this, these are my steps.
let $x=2$ and $y=\sqrt{2}$
$\implies$ $x^y = 2^{\sqrt{2}} $
now if  $x^y = 2^{\sqrt{2}} $ is irrational then we are done. But if this is rational then we can say:
let $x=2^\sqrt{2}$ (since we assume its rational) and let $y=\sqrt{2}$
$\implies$ $x^y = 2^{\sqrt{2}^{\sqrt{2}}} $ $=2^2$
this shows that if $x$ is rational and $y$ is irrational then $x^y$ is rational.
But I know that this is not true.
Where did I go wrong in this?
 A: Hint (for an easy proof/disproof): what if $x = 1$?
A: Your statement has implied "for all"s in it.  That is,

For all $x$ and for all $y$, if $x$ is rational and $y$ is irrational, then $x^y$ is irrational.

You cannot prove an "all" statement true by giving an example.  You could prove it is false by giving an example where $x$ is rational, $y$ is irrational and $x^y$ is rational.  An example would be $x=2$, $y=\log_23$.
A: Your "proof" is not really a proof. You pick a particular number, and you claim that if it's irrational then the statement is proved, and in the second part you pick another particular case claiming that it's a counterexample to the statement anyway. But the proof is that every rational number $x$ and irrational number $y$ satisfy this. Not just this particular pair.
In fact, the second part is almost a disproof by itself. It says "If $x$ was rational, then $x^y$ was rational as well", which is exactly what you need to disprove the statement. Although the details of that second part are sketchy, for example if $y=\sqrt2^{\sqrt2}$, then $2^y=2^{\sqrt2^{\sqrt2}}$ is not the same thing as $(2^{\sqrt2})^{\sqrt2}$, which is really what you're looking for.
A: Let $x,y\in \mathbb{R}-\{1,0\}.$ Consider $x^y.$  
1) $x,y$ both are rational $$2^{\frac{1}{2}},\ 2^2$$
2) $x$ rational, $y$ irrational $$2^{\pi},\ 2^{\log_23}$$
3) $x$ irrational, $y$ rational $$e^2,\ (\sqrt{2})^2$$
4) $x,y$ both are irrational $$\sqrt{2}^{\sqrt{2}}, \ (\sqrt{2}^{\sqrt{2}})^{\sqrt{2}}$$
