设给定赋值N如下:个体域为自然数集;特定元素a=0;特定函数f(x,y)=x+y,g(x,y)=xy;特定谓词F(x,y)为x=y在赋值N下,下列公式为真的是（）

设给定赋值N如下:个体域为自然数集;特定元素a=0;特定函数f(x,y)=x+y,g(x,y)=xy;特定谓词F(x,y)为x=y在赋值N下,下列公式为真的是（）

A.(∀x)F(g(x,a),x)

B.(∀x)(∀y)(F(f(x,a),y)→F(f(y,a),x))

C.(∀x)(∀y)(∀z)F(f(x,y),z)

D.(∀x)(∀y)F(f(x,y),g(x,y))

正确答案是B