In predicate logic, what is the negation of the statement (∃x)P(x)(\exists x) P(x)(∃x)P(x)?
(∃x)¬P(x)(\exists x) \neg P(x)(∃x)¬P(x)
(∀x)P(x)(\forall x) P(x)(∀x)P(x)
(∀x)¬P(x)(\forall x) \neg P(x)(∀x)¬P(x)
¬(∀x)P(x)\neg (\forall x) P(x)¬(∀x)P(x)