设个体域为 整数集z,确定下列各公式的真值.

取个体域为整数集,给定下列公式:

上面公式中,是真命题的有(),是假命题的有().

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

设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.

A.自然数

B.整数

C.实数

D.以上均不成立

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

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

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

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

(b)特定元素

(c)特定函数

(d)特定谓词

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

给出下列公式在I和σ下的解释，并指出它们的真值。

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

对个体域判定下列公式的真值,E(x)表示“x是偶数”

再将它们的量词消去,表示成合取或析取命题公式;鉴別你所确定的真值是否正确.

若给定人类为个体域,解释P(x,y):x是y的父母;F(x):x是女性.试用通俗直白的语言明x和y在满足什么关系时下面公式为真.