给定解释 I 为： 论域 D=正整数集合 f（x y)=x+y 谓词F（x y)表示x=y a=2。 那么在这个解释下 （
已帮助 人
给定解释 I 为： 论域 D=正整数集合， f（x, y)=x+y， 谓词F（x, y)表示x=y， a=2。 那么在这个解释下，（$x)（"y)（"z)F（f（y, z), x) 为真。
回答
共1条回复-
错误