问答题

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

【参考答案】