主观题：在整数个体域中符号化下列命题
设个体域为整数集合$$\mathbf{Z}$$，将下列命题符号化(说明:题目中的数学公式无需进一步符号化):
(1) 对于任意的 $$x$$ 和 $$y$$，存在 $$z$$ 使得 $$x+y=z$$.
(2)“存在 $$x$$，对于任意的 $$y$$ 和 $$z$$，均有 $$y-z=x$$”是不对的.
答案：命题中的数学公式无需再次符号化
(1) $~\forall x\forall y\exists z(x+y=z)$
(2) $\neg(\exists x\forall y\forall z(y-z=x))$
(1) 对于任意的 $$x$$ 和 $$y$$，存在 $$z$$ 使得 $$x+y=z$$.
(2)“存在 $$x$$，对于任意的 $$y$$ 和 $$z$$，均有 $$y-z=x$$”是不对的.
答案：命题中的数学公式无需再次符号化
(1) $~\forall x\forall y\exists z(x+y=z)$
(2) $\neg(\exists x\forall y\forall z(y-z=x))$
