大学MOOC 离散数学(齐齐哈尔工程学院)1451592176 最新慕课完整章节测试答案
2 数理逻辑-基本概念
单元2测验
1、单选题:
5. 语句形式化:“不管你去不去,我去”(
:你去,
:我去)
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
;
】
2、单选题:
语句的形式化:“如果买不到薯条,他什么也不吃。”(
:他买到薯条,
:他吃饭)
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
;
】
3、单选题:
下面符号串哪个是命题公式?
选项:
A: 
B: 
C: 
D: 
E: 
F: 
答案: 【
;
;
】
4、单选题:
下列符号串哪个不是命题公式?
选项:
A: 
B: 
C: 
D: 
E: 
F: 
答案: 【
;
;
】
5、单选题:
若p表示“a是偶数”,q表示“a是奇数”,r表示“a是素数”,s代表“a = 2”,那么“若a不是奇数且a不等于2,那么a不是素数”可以形式化为
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
】
6、多选题:
下面哪个语句是命题?
选项:
A: 我明天或后天去天津。
B: 明天一定不会下雨。
C: 如果买不到机票,我哪儿也不去。
D: 请注意你的举止。
E: 今天怎么这么堵车!
F: 请问去故宫怎么走?
G: 祝大家新年快乐!
答案: 【 我明天或后天去天津。;
明天一定不会下雨。;
如果买不到机票,我哪儿也不去。】
7、多选题:
下列语句哪个不是命题?
选项:
A: 再见朋友!
B: 明天会下雨么?
C: 
D: 
E: 请坐!
F: 所有的人都有两只眼睛。
G: 他是个可靠的人。
H: 天下没有不散的筵席。
I: 只要他出门,就一定要买书。
答案: 【 再见朋友!;
明天会下雨么?;
;
;
请坐!】
3 数理逻辑-命题逻辑及形式系统
单元3测验
1、单选题:
下列哪个是
的主析取范式?
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
】
2、单选题:
某案件有四名嫌疑犯,经调查得知(1)只有B是罪犯,C才是罪犯(2)如果C不是罪犯,那么D是罪犯(3)或者A是罪犯,或者B不是罪犯(4)A不是罪犯那么谁是罪犯?
选项:
A: D
B: B
C: C
D: 没有人是罪犯
E: C和D都是
F: A和C都是
答案: 【 D】
3、单选题:
A,B,C,D四人中派两人出差,若A去则C,D中要去一人,B和C不能都去,C去则D要留下,那么一共有多少种派法?
选项:
A: 3
B: 2
C: 1
D: 4
E: 0
答案: 【 3】
4、单选题:
张三说李四在说谎,李四说王五在说谎,王五说张三和李四都在说谎。到底谁在说谎?
选项:
A: 只有张三
B: 只有李四
C: 张三和王五
D: 只有王五
E: 李四和王五
F: 张三和李四
答案: 【 张三和王五】
5、单选题:
以下选项错误的为
选项:
A: 
B: 
C:
(t代表永真式)
D: 
答案: 【
】
6、多选题:
勾选下列命题公式中的重言式
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
;
;
】
7、多选题:
勾选下列所有正确的逻辑等价式
选项:
A: 
B: 
C: 
D: 
答案: 【
;
;
】
8、多选题:
下面的公式序列是
的演绎序列,请勾选所有根据分离规则直接得出的命题公式。(也就是在哪些步用的是分离规则)
选项:
A: 
B: 
C: 
D: 
E: 
答案: 【
;
】
9、多选题:
以下说法正确的有
选项:
A: 悉非记号
是功能完备的
B:
是功能完备集
C:
是功能完备集,且是极小的
D:
是功能完备集
E:
是功能完备集
答案: 【 悉非记号
是功能完备的;
是功能完备集;
是功能完备集,且是极小的】
10、多选题:
以下说法错误的有
选项:
A: 主析取范式中的极小项只有唯一的成假赋值
B: 如果命题公式 A 是永真式,那么¬A 不是永假式,而是可满足式
C:
(第二个符号代表异或,也就是
)不是功能完备集
D:
是重言式
答案: 【
