What is the negation of ∀x(P(x) ⟹ ∃yQ(y))\forall x (P(x) \implies \exists y Q(y))∀x(P(x)⟹∃yQ(y))?
∃x(P(x)∧∀y¬Q(y))\exists x (P(x) \land \forall y \neg Q(y))∃x(P(x)∧∀y¬Q(y))
∀x(P(x)∧∀y¬Q(y))\forall x (P(x) \land \forall y \neg Q(y))∀x(P(x)∧∀y¬Q(y))
∃x(¬P(x)∨∀y¬Q(y))\exists x (\neg P(x) \lor \forall y \neg Q(y))∃x(¬P(x)∨∀y¬Q(y))
∃x(P(x) ⟹ ∀y¬Q(y))\exists x (P(x) \implies \forall y \neg Q(y))∃x(P(x)⟹∀y¬Q(y))