设个体域D={1,2},则谓词公式（Vx)P（x)V（3x)Q（x)消去量词后的等值式为（P（1)AP（2))V（Q（1)VQ（2))。（)

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

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

A.自然数

B.实数

C.复数

D.A，B，C均成立

设解释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和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x₁,x₂,...,x_n),a(x₁,x₂,...,x_n)在域D和解释I下为真当且仅当对x₁,x₂,...,x_n的賦值d₁,d₂,...,d_n满足.已知n元有序组集合A,B都是可定义的,请证明:

(1)AUB是可定义的.

(2)A-B是可定义的.

(3)n-1元有序组集合存在某个d使得是可定义的.

设个体域为,消去公式中的量词,可得().

设整数集为个体域,判定下列公式的真值(*表示数乘运算).

设P是任意谓词，论述域是(1,2,3)，命题的真值等于命题的真值吗？

A.

B.

C.

D.