离散数学（王丽杰）(电子科技大学) 中国大学MOOC答案2024版100分完整版

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

1、 如果，则有（ ）。

答案:

2、 下列式子不正确的是（ ）

答案:

3、 设，以下表达式正确的有（ ）

答案: ;
;

4、 “所有的合数是可数集合”，这个说法是否正确？

答案: 正确

5、 “所有的无理数是不可数集合”,这个说法是否正确？

答案: 正确

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

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

1、 设P：他怕困难Q：他获得成功，命题“只要他怕困难，他就不会获得成功”可符号化为( )。

答案:

2、 设P：他怕困难Q：他获得成功，命题“他只有不怕困难，才能获得成功”可符号化为( )。

答案:

3、 下列公式不是重言式的有（ ）

答案: ;

4、 可满足公式的否定是不可满足的，也就是永假公式

答案: 错误

5、 在命题逻辑中，符号和的含义是相同的。

答案: 错误

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

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

1、 设P，Q，R是命题变元，则极大项是（）

答案:

2、 设P，Q，R是命题变元，则极小项的编码为

答案:

3、 以下哪些是公式的主析取范式或主合取范式？(用编码形式表示)

答案: ;

4、 以下哪些是公式的主析取范式或主合取范式？(用编码形式表示)

答案: ;

5、 使用间接证明法进行演绎法推理的时候，是把结论的否定作为附加前提引入，然后推导出一个矛盾式。

答案: 正确

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

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

1、 设A(x):x 是人，B(x):x 犯错误，命题“没有不犯错误的人” 符号化为( )。

答案:

2、 设R(x):x 是实数，L(x; y):x<y，命题“没有最小的实数” 符号化为( )。

答案:

3、 下列哪些是合法的谓词合式公式？

答案: ;
;

4、 谓词公式中，量词的辖域是。

答案: 错误

5、 谓词公式中，变元y既是自由变元，又是约束变元。

答案: 正确

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

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