愧还维苇猛谅姬迸失高巨侥嗜
梁囤棠催洗霸侯玻狙辟翱雾钢
第一章 单元测试
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:
答案:
第三章 单元测试
1、
A:
B:
C:
D:
答案:
2、
A:
对称的
B:
反自反的
C:
传递的
D:
自反的
答案:
反自反的
3、
A:
B:
C:
D:
答案:
4、
A:
B:
C:
D:
答案:
5、
A:
B:
C:
D:
答案:
6、
下列关系中等价关系的是
A:
实数之间的小于等于关系
B:
命题公式之间的蕴含关系
C:
n阶方阵之间的相似关系
D:
集合之间的包含关系
答案:
n阶方阵之间的相似关系
7、
A:
B:
C:
D:
答案:
8、
下列命题中结论正确的是
A:
B:
C:
D:
每一个等价关系必为偏序关系
答案:
9、
A:8、2、8、2
B:6、2、6、2
C:
无、2、无、2
D:8、1、6、1
答案:
无、2、无、2
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:
答案:
如需购买完整答案，请点击下方红字：
获取更多网课答案，请点击这里，进入www.mengmianren.com
绍泄退幻笆抵共惺棚睦汐瞬寸
鸥叼慰肮深哎抨苯新扑屯读疆