Identify the logical result of ¬(∀x,P(x))\neg(\forall x, P(x))¬(∀x,P(x)).
∀x,¬P(x)\forall x, \neg P(x)∀x,¬P(x)
∃x,P(x)\exists x, P(x)∃x,P(x)
∃x,¬P(x)\exists x, \neg P(x)∃x,¬P(x)
¬∀x,¬P(x)\neg \forall x, \neg P(x)¬∀x,¬P(x)