问答题 设个体域为整数集Z，将问题符号化：存在x，对于任意的y和z，均有y-z=x是不成立的。

问答题 设个体域为整数集Z，将问题符号化：对于任意的x和y，存在z，使的x+y=z。

问答题 设个体域为D={x|x为人}，将命题符号化：有的美国人不住在美国。