给定解释 I 如下: ( a )个体域 D = N ( N 为自然数)。 ( b ) D 中特定元素 a =2 。 ( c ) D 上函数 f ( x , y )= x + y , g ( x , y )= x · y 。 ( d ) D 上谓词 F ( x , y ) : x = y 。 说明下列公式在 I 下的含义,并指出各公式的: ( 1 ) " x F ( g ( x,a ), x ) ( 2 ) " x " y( F ( f ( x,a ), y )→ F ( f ( y,a ), x )) ( 3 ) " x " y z( F ( f ( x , y ), z ) ( 4 ) x F ( f ( x , x ), g ( x , x ))