什么是谓词？什么是谓词个体及个体域？函数与谓词的区别是什么？

给定解释I和I下的赋值σ如下。

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

(b)特定元素

(c)特定函数

(d)特定谓词

(e)σ(x)=1，σ(y)=-1。

给出下列公式在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和σ下的真值。

给定解释I和I下的赋值σ如下。

(a)个体域D=N。

(b)特定元素

(c)N上函数

(d)N上谓词

(e)σ(x)=2，σ(y)=3，σ(z)=4。

给出下列各式在I和σ下的解释，并讨论它们的真值。

给定解释I为：个体域D={a，b}，函数f(x)为：f(a)=b，f(b)=a。谓词F(x)为：F(a)=0，F(b)=1，G(x，y)为：G(a，a)=G(a，b)=G(b，a)=1，G(b，b)=0。在I下公式的真值为()。

A.个体词，可以是抽象的个体，可以是具体、特定的个体。

B.个体域选大，会造成公式复杂，特性谓词增多。

C.个体域选择范围大小不同，可能会影响公式的形式或类型。

D.个体词，分为个体常项、个体变项。个体词需要个体域，个体变项的函数也是个体变项。

设个体域为自然数集,, 则谓词公式是真命题。

A.

B.

C.

D.

设个体域D=|3，5，6| ，谓词F(x)：x是素数，求的真值。

A.

B.

C.

D.