问答题 设个体域为非0有理数集Q，将命题符号化：对于任意的x和y，存在z，使的x2+y2=z2不为真。

问答题 设个体域为非0有理数集Q，将命题符号化：对于任意的x，存在y，使的x·y=1。

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