## Re: proof of all square roots of integers being either irrational or integers

Originally Posted by Plato
If $q$ is a positive integer that is not a square, then $\sqrt{q}$ is irrational.
As such it is more inclusive than the existential positive: some P is Q, $\sqrt{2}$ is irrational.