Show that the two statements $\sim \exists x \forall y P(x,y)$ and $\forall x \exists y \sim P(x,y)$ , where both quantifiers over the first variable in $P(x,y)$ have the same domain , and both quantifiers over the second variable in $P(x,y)$ have the same domain, are logically equivalent.
