问答题
共用题干题
给定解释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下的含义，并指出各公式的真值
xF（f（x，x），g（x，x））
【参考答案】
x（x+x=x*x）,真值为1