Given the universe of discourse is all integers, what is the negation of (∀x)(x>0)(\forall x)(x > 0)(∀x)(x>0)?
(∀x)(x≤0)(\forall x)(x \leq 0)(∀x)(x≤0)
(∃x)(x>0)(\exists x)(x > 0)(∃x)(x>0)
(∃x)(x≤0)(\exists x)(x \leq 0)(∃x)(x≤0)
(∀x)(x<0)(\forall x)(x < 0)(∀x)(x<0)