第一章 单元测试

1、单选题：
设命题公式Ø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



】
第二章 单元测试
1、单选题：
谓词公式$xA(x) ÙØ $xA(x)的类型是
选项：
A:永真式
B:矛盾式
C:非永真式的可满足式
D:以上答案均不正确
答案: 【矛盾式】

2、单选题：
设个体域为整数集，下列公式中其真值为1的是
选项：
A:

B:


C:


D:


答案: 【

】
3、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
4、单选题：
下面给出的一阶逻辑等价式中，错误的是
选项：
A:

B:


C:


D:


答案: 【

】
5、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
6、单选题：

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

7、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
8、单选题：

选项：
A:

B:


C:


D:
以上答案都不对

答案: 【

】
9、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
10、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
11、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
12、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
13、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
14、单选题：

选项：
A:

B:


C:


D:


答案: 【

】
15、单选题：
下列四个公式正确的是
选项：
A:

B:


C:


D:


答案: 【

】