Find the negation of (existsx)P(x)(\\exists x)P(x)(existsx)P(x).
(forallx)negP(x)(\\forall x)\\neg P(x)(forallx)negP(x)
(existsx)negP(x)(\\exists x)\\neg P(x)(existsx)negP(x)
(forallx)P(x)(\\forall x)P(x)(forallx)P(x)
negP(x)\\neg P(x)negP(x)