第一章 单元测试
1、单选题：
选项：
A:
B:
C:
D:
答案: 【
】
2、单选题：
设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为
选项：
A:Q ® P
B:
P ® Q
C:
ØPÚQ
D:
P «Q
答案: 【
Q ® P
】
3、单选题：
选项：
A:
B:
C:
D:
答案: 【
】
4、单选题：
下列公式是重言式的为
选项：
A:AÙØB«AÚB
B:
PÙQ «ØPÚQ
C:
Ø(PÚQ) «（ØPÙØQ）
D:
(B®(AÚB)) «(ØAÙ(AÚB))
答案: 【
Ø(PÚQ) «（ØPÙØQ）
】
5、单选题：
选项：
A:无法确定
B:永真式
C:永假式
D:可满足式
答案: 【永真式】
6、单选题：
下列表述成立的为
选项：
A:ØAÙ (AÚB) ÞB
B:
ØPÙØQÛPÚQ
C:
P ® Q ÞQ
D:
ØB®A Û A®B
答案: 【
ØAÙ (AÚB) ÞB
】
7、单选题：
下列结论中不正确的是
选项：
A:任意两个不同的布尔大项的析取式必为永真式
B:三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101
C:任意两个不同的布尔小项的析取式必为永真式
D:
三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010
答案: 【任意两个不同的布尔小项的析取式必为永真式】
8、单选题：
选项：
A:
B:
C:
D:
答案: 【
】
9、单选题：
设A，B都是命题公式，则A→B为可满足式是AÞB的
选项：
A:必要而非充分条件
B:
既非充分又非必要条件
C:
充分而非必要条件
D:
充分必要条件
答案: 【
必要而非充分条件
】
10、单选题：
选项：
A:
B:
C:
D:
答案: 【
】
11、单选题：
一个公式在等价意义下，下面哪个写法是唯一的
选项：
A:主析取范式
B:
合取范式
C:
析取范式
D:
等价公式
答案: 【
主析取范式
】
12、单选题：
下面4个推理定律中，不正确的是
选项：
A:
B:
C:
D:
答案: 【
】
13、单选题：
选项：
A:
B:
C:
D:
答案: 【
】
14、单选题：
下列语句中哪个是真命题
选项：
A:如果疑问句是命题，那么地球将停止转动.
B:我在说假话.
C:如果1+2=3，那么雪是黑的.
D:严禁吸烟！
答案: 【如果疑问句是命题，那么地球将停止转动.】
15、单选题：
选项：
A:5
B:
3
C:
8
D:
0
答案: 【
5
】
第二章 单元测试
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:
答案: 【
】
