(Solved): What is the negation of \( \forall x \exists y(p(y) \rightarrow q(x)) \) \( \forall x \exists y(p( ...

What is the negation of \( \forall x \exists y(p(y) \rightarrow q(x)) \) \( \forall x \exists y(p(y) \rightarrow \neg q(x)) \) \( \forall x \exists y(p(y) \wedge \neg q(x)) \) \( \exists \mathrm{x} \forall \mathrm{y}(\mathrm{p}(\mathrm{y}) \rightarrow \neg \mathrm{q}(\mathrm{x})) \) \( \exists x \forall y(q(y) \rightarrow \neg p(x)) \) \( \exists x \forall y(p(y) \wedge \neg q(x)) \)