问答题
共用题干题
给定解释I如下：
（a）个体域D=N（N为自然数）
（b）D中特定元素
=2
（c）D上函数
（x，y）=x+y，
（x，y）=x*y
（d）D上谓词
（x，y）：x=y
说明以下公式在I下的含义，并指出各公式的真值
xy（F（f（x，a），y）→F（f（y，a），x））
【参考答案】
xy((x+2=y)→(y+2=x)),真值为0