第一章 单元测试
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:
答案: 【
】
