I cannot figure out the solution to this exercise in Marker. Can someone help me?
$(Z \oplus Z, +, 0) \not\equiv (Z, +, 0)$
I cannot figure out the solution to this exercise in Marker. Can someone help me?
$(Z \oplus Z, +, 0) \not\equiv (Z, +, 0)$
EDIT: The sentence $\exists z \forall y \exists x (x+x=y \vee x+x+z=y)$ is true in $\mathbb{Z}$ but not in $\mathbb{Z} \oplus \mathbb{Z}$.