The domain of $x$ and $y$ is the same, real numbers. I was wondering if there was a $P(x)$ for which these two would be non equivalent.
2026-04-02 16:32:19.1775147539
On
$P(x, y)$ for which $\exists x\forall yP(x, y)$ and $\exists y\forall xP(x, y)$ are not equivalent
79 Views Asked by user415595 https://math.techqa.club/user/user415595/detail At
2
There are 2 best solutions below
1
On
You can also consider:
$$P(x,y)="y\times\lfloor x^2+1\rfloor\text{ is an integer}".$$
Then
$$\exists x,\quad\forall y,\quad P(x,y)$$
is false since the domain you consider is the set of real numbers.
But
$$\exists y,\quad\forall x,\quad P(x,y)$$
is true (you can take $y=0$ or $y=k\in \mathbb Z$ for instance).
You could let $P(x,y)$ mean $x=0$. (Yes, $y$ deliberately doesn't appear there).