设个体域D={a，b，c}，在D下验证量词否定等值式．

设解释I为：个体域D={a，b，c}，F(a)=F(b)=1，F(c)=0，G(a)=1，G(b)=G(c)=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下，公式的真值为()。

设个体域D={1，2}，请给出两种不同的解释I₁和I₂，使得下面公式在I₁下都是真命题，而在I₂下都是假命题。

设解释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和σ下的真值。

设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。

显然，乙的演算过程简单些。试指出乙在演算过程中的关键步骤。

A.P(x)ÙS(x)

B.(P(a)ÙP(b))Ù(S(a)ÚS(b))

C.P(a)ÙS(b)

D.P(a)ÙP(b)ÙS(a)ÙS(b)

A.P(x)ÙS(x)

B.(P(a)ÙP(b))Ù(S(a)ÚS(b))

C.P(a)ÙS(b)

D.P(a)ÙP(b)ÙS(a)ÙS(b)