【单选题】设给定解释如下:个体域为自然数集;个体常元 a = 0 ;函数 f ( x , y ) = x + y , g ( x , y ) = xy ;谓词 F ( x , y ) : x = y 。在此解释下,下列公式为真的是
A.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%2012.0px%20SimSun%7D ∀ xF ( g ( x , a ), x )
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s3%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D ∀ x ∀ y ( F ( f ( x , a ), y ) → F ( f ( y , a ), x ))
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%2012.0px%20SimSun%7D ∀ x ∀ y ∀ zF ( f ( x , y ), z )
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%2012.0px%20SimSun%7D%0Aspan.s3%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D ∀ x ∀ yF ( f ( x , y ), g ( x , y ))