设解释I为：（a)个体域为实数集R。（b)R上特定元素（c)R上特定函数（d)R上特定谓词I下的赋值σ：σ（x)=1

设解释I为：

(a)个体域为实数集R。

(b)R上特定元素

(c)R上特定函数

(d)R上特定谓词

I下的赋值σ：σ(x)=1，σ(y)=-1。

讨论下列各式在I和σ下的真值。