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

设给定赋值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