令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都成立。

设P(x,y,z)表示x*y=z,E(x,y)表示x=y,G(x,y)表示x＞y,论述域是整数，将下列断言译成逻辑符。(提示：要注意数学上习惯写法和逻辑符表示的差异，例如加法交换律在数学中写成;x+y=y+x，翻译成逻辑符时，要按实际意义翻译成即要自动地加上全称量词，使整个式子成为命题。)

A.N(0,1)

B.N(0,2)

C.N(1,1)

D.N(1,2)