2020 离散数学Ⅰ（大数据1901-1902）(长春建筑学院) 最新满分章节测试答案

本答案对应课程为:点我自动跳转查看
本课程起止时间为:2020-03-02到2020-06-27
本篇答案更新状态:已完结

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

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

3 数理逻辑-命题逻辑及形式系统 单元3测验

1、 问题:下列哪个是的主析取范式?
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:勾选下列命题公式中的重言式
选项：
A:
B:
C:
D:
E:
答案: 【;
;
】

3、 问题:勾选下列所有正确的逻辑等价式
选项：
A:
B:
C:
D:
答案: 【;
;
】

4、 问题:下面的公式序列是的演绎序列，请勾选所有根据分离规则得出的命题公式。
选项：
A:
B:
C:
D:
E:
答案: 【;
】

4 数理逻辑-谓词逻辑及形式系统 单元4测验

1、 问题:设一阶逻辑公式，则与等价的是
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设、是一阶逻辑公式，是一个谓词，, ,则一阶逻辑公式是
选项：
A:可满足的
B:恒真的
C:恒假的
D:其他答案皆不正确
答案: 【可满足的】

3、 问题:设谓词的定义域为,将表达式中量词消除，写成与之对应的命题公式是
选项：
A:
B:
C:
D:其它选项皆不正确
答案: 【】

4、 问题:设I是如下一个解释：, , , , . 则在解释下取真值为1的公式是( ).
选项：
A:
B:
C:
D:
答案: 【】

5、 问题:设全体域D是正整数集合，下列命题为真的是.
选项：
A:
B:
C:
D:
答案: 【】

6、 问题:公式中，既是自由变元，又是约束变元的是.
选项：
A:
B:
C:
D:不存在
答案: 【】

7、 问题:设I是如下一个解释：, 试求. 提示：将量词消除，代换为合取析取
选项：
A:1
B:0
C:2
D:3
答案: 【1】

5 集合论 单元5测验

1、 问题:设集合，其中, 则___; ＝ ___
选项：
A:;
B:;
C:;
D:;
答案: 【; 】

2、 问题:判断下列命题哪个为真？