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、 问题:判断下列命题哪个为真？
本文章不含期末不含主观题！！
本文章不含期末不含主观题！！
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦，电子资源购买后不支持退款哦
