D:

设命题公式ØP®(QÙR)，则使公式取真值为1的P，Q，R赋值分别是

A:0, 0, 0
B:0, 0, 1
C:0, 1, 0 
D:

1, 0, 0

答案:

1, 0, 0

谓词公式$xA(x) ÙØ $xA(x)的类型是

A:永真式
B:矛盾式
C:非永真式的可满足式
D:以上答案均不正确
答案: 矛盾式

设个体域为整数集，下列公式中其真值为1的是

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

下面给出的一阶逻辑等价式中，错误的是     

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:与谓词变元有关，与论述域无关
B:与谓词变元无关，与论述域有关
C:与谓词变元和论述域都有关
D:与谓词变元和论述域都无关
答案: 与谓词变元和论述域都无关

A:

B:

C:

D:

答案:

A:

B:

C:

D:

以上答案都不对

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

下列四个公式正确的是

A:

B:

C:

D:

答案: