大学MOOC 离散数学(江西理工大学)1456879161 最新慕课完整章节测试答案
第一部分数理逻辑
第一单元测试1
1、单选题:
关于
,不正确的是( )
选项:
A: p是q的充分条件
B: q是p的必要条件
C: q仅当p
D: 只有q才有p
答案: 【 q仅当p】
2、单选题:
p,r真值为1,q,s真值为0,下列公式中真值为1的是( )
选项:
A: 
B: 
C: 
D: 
答案: 【
】
3、单选题:
下列式子中,不正确的是( )
选项:
A: 
B: 
C: 
D: 
答案: 【
】
4、单选题:
给定F的真值表,则F等值于 ( )
![]()
选项:
A: 
B: 
C: 
D: 
答案: 【
】
5、单选题:
设个体域为整数集,则下列谓词公式中真值为假的是 ( )
选项:
A: 
B: 
C: 
D: 
答案: 【
】
6、多选题:
设p,q均为命题,在 ( ) 下,p,q的排斥或也可以写成p,q的相容或.
选项:
A: p,q不同时为真
B:
等值于1
C: p,q同时为真
D: p,q同时为假
答案: 【 p,q不同时为真;
等值于1】
7、多选题:
”说所有火车比所有汽车快是不对的“符号化为 ( )
选项:
A:
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
B:
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
C:
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
D:
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
答案: 【
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.;
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.】
8、多选题:
的主合取范式为 ( ).
选项:
A: 
B: 
C: 
D: 
答案: 【 
;
】
9、多选题:
谓词公式
的前束范式为 ( ).
选项:
A: 
B: 
C: 
D: 
答案: 【
;
;
】
10、多选题:
下列各式中是永真式的是 ( ).
选项:
A: 
B: 
C: 
D: 
答案: 【
;
】
11、判断题:
设A,B,C为任意的命题公式,若
则
.
选项:
A: 正确
B: 错误
答案: 【 错误】
12、判断题:
是重言式.
选项:
A: 正确
B: 错误
答案: 【 正确】
13、判断题:
一个命题公式可以有多个与之等值的析取范式,但其主析取范式唯一.
选项:
A: 正确
B: 错误
答案: 【 正确】
14、判断题:
中
的辖域是
,是闭式.
选项:
A: 正确
B: 错误
答案: 【 错误】
15、判断题:
在
连续的符号化为
.
选项:
A: 正确
B: 错误
答案: 【 正确】
第一单元测试2
1、单选题:
设p:我们正在听课,q:我们正在睡觉,则命题“我们不能睡着觉听课”符号化为
选项:
A: 
B: 
C: 
D: 
答案: 【
】
2、单选题:
设个体域D是整数,则下列公式真值为1的是
选项:
A: 
B: 
C: 
D: 
答案: 【
】
3、单选题:
给定命题公式:
与之等值的是
选项:
A: 
B: 
C: 
D: 
答案: 【
】
4、单选题:
设个体域D={a,b},则公式
消去所有的量词应为
选项:
A: 
B: 
C: 
D:
