第一章 单元测试

1、 问题:

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

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

1, 0, 0

答案: 【

1, 0, 0


第二章 单元测试

1、 问题:

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

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

2、 问题:

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

选项:
A:

1.png

B:

2.png

C:

1.png

D:

1.png

答案: 【

1.png

3、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

4、 问题:

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

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

5、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

6、 问题:

1.png

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

7、 问题:

1.png

选项:
A:

1.png

B:

C:

1.png

D:

答案: 【

1.png

8、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

以上答案都不对

答案: 【

1.png

9、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

10、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

11、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

12、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

13、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

14、 问题:

1.png

选项:
A:

B:

C:

D:

答案: 【

15、 问题:

下列四个公式正确的是

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png

第三章 单元测试

1、 问题:

1.png

选项:
A:

1.png

B:

1.png

C:

1.png

D:

1.png

答案: 【

1.png


   

发表评论

电子邮件地址不会被公开。 必填项已用*标注