What is the negation of existsxforallyP(x,y)\\exists x \\forall y P(x,y)existsxforallyP(x,y)?
existsxexistsynegP(x,y)\\exists x \\exists y \\neg P(x,y)existsxexistsynegP(x,y)
forallxexistsynegP(x,y)\\forall x \\exists y \\neg P(x,y)forallxexistsynegP(x,y)
existsxforallynegP(x,y)\\exists x \\forall y \\neg P(x,y)existsxforallynegP(x,y)
forallxforallynegP(x,y)\\forall x \\forall y \\neg P(x,y)forallxforallynegP(x,y)