I've been looking into tableau lately and I have come across multiple Universal Identifiers which I am not used to. How do I approach these to validate/invalidate with these identifiers and provide an interpretation that works as a counter-example if invalid? Thank you
$\exists x (p(x)$ AND $q(x)) \rightarrow \exists x$ $ p(x)$ AND $\exists x$ $ q(x)$
$\exists x \forall y$ $r(x,y) \rightarrow \forall x \exists y$ $r(x,y)$