设个体域为D={a，b}，请消除下列谓词公式中的量词。

设个体域为整数集,试确定两个谓词P(x,y),分别使得下列两个蕴涵式假.

设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.

(5). (6)F(7.9).

设解释I为：

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

(b)R上特定元素

(c)R上特定函数

(d)R上特定谓词

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

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

设解释I为：

(a)个体域为自然数集N。

(b)N中特定元素

(c)N上特定函数

(d)N上特定谓词

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

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

设解释I为：个体域D={a，b}，F(x)与G(x)为2个1元谓词，且F(a)=0，F(b)=1，G(a)=1，C(b)=0。在I下，公式的真值为()。

设个体域为实数集R，F(x)：x＞5，求下列0元谓词的真值．

(1)F(5)． (2)F()． (3)F(-2)． (4)F()．

(5)F()． (6)F(7.9)．

设个体域 D={2，4.6}.A(x) 为"x是偶数"，则谓词公式的真值为().

A.

B.

C.

D.