Consider the statement S:∀x∈Z,∃y∈Z:x+y=0S: \forall x \in \mathbb{Z}, \exists y \in \mathbb{Z} : x + y = 0S:∀x∈Z,∃y∈Z:x+y=0. What is the logical negation of SSS?
∃x∈Z,∀y∈Z:x+y≠0\exists x \in \mathbb{Z}, \forall y \in \mathbb{Z} : x + y \neq 0∃x∈Z,∀y∈Z:x+y=0
∀x∈Z,∀y∈Z:x+y≠0\forall x \in \mathbb{Z}, \forall y \in \mathbb{Z} : x + y \neq 0∀x∈Z,∀y∈Z:x+y=0
∃x∈Z,∃y∈Z:x+y≠0\exists x \in \mathbb{Z}, \exists y \in \mathbb{Z} : x + y \neq 0∃x∈Z,∃y∈Z:x+y=0
∀x∈Z,∃y∈Z:x+y≠0\forall x \in \mathbb{Z}, \exists y \in \mathbb{Z} : x + y \neq 0∀x∈Z,∃y∈Z:x+y=0