Is the following true?
$$\sim(∀x∈ℤ : ∃y∈ℤ: x+y = 5) \quad≡\quad \sim∀x∈ℤ : ∃y∈ℤ: x+y = 5 ?$$
If not, can somebody explain how i can produce statements that are equivalent to the LHS? I get confused with regards to De Morgan's because I am not used to more than one quantifier and no paranthesis.