MOOC 离散数学(枣庄学院)1450843193 最新慕课完整章节测试答案

单元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、单选题：
‍含有5个命题变元（要求名字中不含数字）和5个联结词的公式对应的完整真值表上能看到多少布尔量0或1？​
选项：
A: 320
B: 640
C: 32
D: 3200
E: 6400
F: 1024
答案: 【 320】

7、多选题：
‍下面哪个语句是命题？​
选项：
A: 我明天或后天去天津。
B: 明天一定不会下雨。
C: 如果买不到机票，我哪儿也不去。
D: 请注意你的举止。
E: 今天怎么这么堵车！
F: 请问去故宫怎么走？
G: 祝大家新年快乐！
答案: 【 我明天或后天去天津。;
明天一定不会下雨。;
如果买不到机票，我哪儿也不去。】

8、多选题：
‌下列语句哪个不是命题？‎
选项：
A: 再见朋友！
B: 明天会下雨么？
C:
D:
E: 请坐！
F: 所有的人都有两只眼睛。
G: 他是个可靠的人。
H: 天下没有不散的筵席。
I: 只要他出门，就一定要买书。
答案: 【 再见朋友！;
明天会下雨么？;
;
;
请坐！】

9、多选题：
​A国只有两种人，一种永远说真话，一种永远说假话，你来到A国，到了二叉路口不知道哪条道通向首都，路口有这个国家的一个守卫人员（A国人），你只能问一个问题，守卫只回答是或不是，请问怎样问才能确定哪条路是通往首都的路？​
选项：
A: （你指向一条路，问他）如果我问你“这条路是去首都的路吗”，你会回答“是”，是不是？
B: （你指向一条路，问他）这条路通向首都吗？
C: （你指向一条路，问他）和你不同类的人会对我说这条路通向首都吗？（假设他们自己知道本国人分两类）
D: （你指向一条路，问他）如果我问你“这条路不是去首都的路吧”，你会回答“不是”，是不是？
E: （你指向一条路，问他）这条路不能通向首都吗？
答案: 【 （你指向一条路，问他）如果我问你“这条路是去首都的路吗”，你会回答“是”，是不是？;
（你指向一条路，问他）和你不同类的人会对我说这条路通向首都吗？（假设他们自己知道本国人分两类）;
（你指向一条路，问他）如果我问你“这条路不是去首都的路吧”，你会回答“不是”，是不是？】

10、多选题：
‍下面说法不正确的有‌
选项：
A: 命题公式中所有括号的出现都是用来保证命题公式合法性的
B: 若P和Q是某命题公式的形式化结果，那么真值永远为1
C: 一个命题公式可能不只有一个成假赋值
D: 表示一个命题变元和一个蕴含式的合取
E: 一个命题公式必然有成真赋值和成假赋值
答案: 【 命题公式中所有括号的出现都是用来保证命题公式合法性的;
表示一个命题变元和一个蕴含式的合取;
一个命题公式必然有成真赋值和成假赋值】

单元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: 是重言式
答案: 【 主析取范式中的极小项只有唯一的成假赋值;
 如果命题公式 A 是永真式，那么¬A 不是永假式，而是可满足式】

11、多选题：
‍以下正确的有‍
选项：
A:
B:
C:
D:
答案: 【 ;
;