令S(x,y,z)表示x+y=z, P(x,y,z)表示x,y=z, L(x,y)表示x小于y,个体领域为非负整数集,用以上所设的原子谓词公式及量词表示下列命题并判断各命题的真值。(1) 没有x小于0;(2) 对于所有的x,有x+0=x;(3)存在着x,使得x,y=y对所有的y成立;(4)存在着唯一的x, 使得x+y=y对所有的y都成立。
令S(x,y,z)表示x+y=z, P(x,y,z)表示x,y=z, L(x,y)表示x小于y,个体领域为非负整数集,用以上所设的原子谓词公式及量词表示下列命题并判断各命题的真值。(1) 没有x小于0;(2) 对于所有的x,有x+0=x;(3)存在着x,使得x,y=y对所有的y成立;(4)存在着唯一的x, 使得x+y=y对所有的y都成立。