~(∃ x ∈ Z | ∀ y ∈ Z, y/x ∈ Z)
= ∀ x ∈ Z | ∀ y ∈ Z, y/x ∈ Z
I'm just not 100% sure. I'm under the impression that if expressions following "such that" are not included in the quantifier they do not get negated. Is that correct?
And if that is true, how does one read the bottom expression? It seems bizarre to me.