# How to determine truth value of this proposition?

Let $P(x,y)$ be the proposition $x^2=y$, where $x$ and $y$ are integers. Determine the truth value of each of the following proposition.

for $∃x P(6,x)$

Does this mean that 6 is $x$ in this case and $x$ is $y$ So $y$ would equal to $6^2=36$ How do I know if that's true?

• What is the "for" there for? The proposition $\exists x P(6,x)$ is meaningful (and true; take $x=36$.) – Mark Fischler Aug 29 '17 at 21:42
• There may or may not have been a typo $\exists x, P(6,x)$ means "There is an integer $x$ such that $6^2 = x$". $\exists x, P(x, 6)$ means "There is an integer $x$ such that $x^2 = 6$". – fleablood Aug 29 '17 at 21:47

So $\exists{x}P(6,x)$ is equivalent to $\exists{y}P(6,Y)$
and also to $\exists{t}P(6,t)$ and so on.
• It may be helpful to compare $\exists{r}P(6,r)$ which is True with $\exists{v}P(v,2)$ which is false in the domain of discourse: the integers. – Jim H Aug 29 '17 at 21:52