2021 离散数学（王丽杰）(电子科技大学) 最新满分章节测试答案

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

第一章 集合论基础 集合论单元测验

1、 问题:如果，则有（   ）。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:下列式子不正确的是（   ）
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:设，以下表达式正确的有（     ）
选项：
A:
B:
C:
D:
答案: 【;
;
】

4、 问题:“所有的合数是可数集合”，这个说法是否正确？
选项：
A:正确
B:错误
答案: 【正确】

5、 问题:“所有的无理数是不可数集合",这个说法是否正确？
选项：
A:正确
B:错误
答案: 【正确】

6、 问题:设S={{1},{1,2},{1,1,2}}，则其幂集P(S)的元素个数为______。
答案: 【4】

第三章 命题逻辑 （第一部分） 命题逻辑第一部分单元测验

1、 问题:设P：他怕困难Q：他获得成功，命题“只要他怕困难，他就不会获得成功”可符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设P：他怕困难Q：他获得成功，命题“他只有不怕困难，才能获得成功”可符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:下列公式不是重言式的有（      ）
选项：
A:
B:
C:
D:
E:
F:
答案: 【;
】

4、 问题:可满足公式的否定是不可满足的，也就是永假公式
选项：
A:正确
B:错误
答案: 【错误】

5、 问题:在命题逻辑中，符号和的含义是相同的。
选项：
A:正确
B:错误
答案: 【错误】

6、 问题:重言式的否定是_公式。
答案: 【(以下答案任选其一都对)矛盾;
永假】

第三章 命题逻辑 （第二部分） 命题逻辑第二部分单元测验

1、 问题:设P，Q，R是命题变元，则极大项是（）
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设P，Q，R是命题变元，则极小项的编码为
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:以下哪些是公式的主析取范式或主合取范式？(用编码形式表示)
选项：
A:
B:
C:
D:
答案: 【;
】

4、 问题:以下哪些是公式的主析取范式或主合取范式？(用编码形式表示)
选项：
A:
B:
C:
D:
答案: 【;
】

5、 问题:使用间接证明法进行演绎法推理的时候，是把结论的否定作为附加前提引入，然后推导出一个矛盾式。
选项：
A:正确
B:错误
答案: 【正确】

6、 问题:自然演绎法的三个基本的推理规则是P,T和___。（用字母缩写表示）
答案: 【CP】

第四章 谓词逻辑 （第一部分） 谓词逻辑第一部分单元测验

1、 问题:设A(x):x 是人，B(x):x 犯错误，命题“没有不犯错误的人” 符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设R(x):x 是实数，L(x; y):x<y，命题“没有最小的实数” 符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:下列哪些是合法的谓词合式公式？
选项：
A:
B:
C:
D:
答案: 【;
;
】

4、 问题:谓词公式中，量词的辖域是。
选项：
A:正确
B:错误
答案: 【错误】

5、 问题:谓词公式中，变元y既是自由变元，又是约束变元。
选项：
A:正确
B:错误
答案: 【正确】

6、 问题:设论域为{1,2},A(x):x是素数，则公式的真值是（   ）。（必须填0或1）
答案: 【0】

7、 问题:设论域为整数集，则表达式的真值为（）。（必须填0或1）
答案: 【0】

第四章 谓词逻辑 （第二部分） 谓词逻辑第二部分单元测验

1、 问题:以下哪一个是公式的否定?
选项：
A:
B:
C: