2022 离散数学(电子科技大学)1467061505 最新满分章节测试答案

本答案对应课程为:点我自动跳转查看
本课程起止时间为:2022-02-21到2022-06-30

第一讲 集合论基础 集合论测验

1、 问题:设集合，，则(        )不成立。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:是一个空集，则下列哪一个不成立?(        )。
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:是下列哪个集合的子集？(      )
选项：
A:
B:
C:
D:
答案: 【;
;
】

4、 问题:设A，B是任意集合，则A=B当且仅当P(A)=P(B)
选项：
A:正确
B:错误
答案: 【正确】

5、 问题:设A,B,C是任意集合，若,并且，则必然有
选项：
A:正确
B:错误
答案: 【错误】

6、 问题:集合的幂集的元素个数为(     )。
答案: 【4】

【作业】第一讲 集合论基础 集合论作业

1、 问题:设A,B,C为任意集合，证明：A-B∩C=(A-B)∪(A-C)
评分规则: 【 注意：这里仅为参考答案，数学题目可能不仅一种解法，需谨慎查看，不能绝对照搬 
】

第二讲 命题逻辑 （第一部分） 命题逻辑（第一部分）测验

1、 问题:下列句子为真命题的是(     )。
选项：
A:雪是黑色的，当且仅当9<2
B:自然数中存在最大素数
C:今天天气真好呀
D:只有9<2,雪才是白色的
答案: 【雪是黑色的，当且仅当9<2】

2、 问题:下列语句是假命题的是(       )。
选项：
A:如果3是偶数，那么1/3就是有理数
B:只要3是偶数，1/3就是有理数
C:除非1/3是有理数，否则3不是偶数
D:只有3是偶数，1/3才是有理数
答案: 【只有3是偶数，1/3才是有理数】

3、 问题:设：天下大雨 ：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符号化为(    )。
选项：
A:
B:
C:
D:
答案: 【】

4、 问题:设：他聪明，：他成绩好，命题“他虽聪明但成绩不好”可符号化为(         )。
选项：
A:
B:
C:
D:
答案: 【;
;
】

5、 问题:下列命题公式不是永假式的是(         )。
选项：
A:
B:
C:
D:
答案: 【;
;
】

6、 问题:不是重言式
选项：
A:正确
B:错误
答案: 【正确】

7、 问题:不是永真式
选项：
A:正确
B:错误
答案: 【错误】

8、 问题:若一个命题公式有4个命题变元，则它有（   ）个可能的解释.
答案: 【16】

第三讲 命题逻辑 （第二部分） 命题逻辑（第二部分）测验

1、 问题:下列为两个命题变元，的极小项是(       )。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设是含有命题变元的公式，则是(        )。
选项：
A:析取范式
B:合取范式
C:主合取范式
D:主析取范式
答案: 【析取范式;
合取范式;
主析取范式】

3、 问题:命题逻辑中，公式是的逻辑结果当且仅当公式是是重言式。
选项：
A:正确
B:错误
答案: 【正确】

4、 问题:在演绎推理中，若结论是形式的公式时，可利用规则将作为附加前提来证明。
选项：
A:正确
B:错误
答案: 【错误】

5、 问题:若公式G包含3个命题变元，且是一个矛盾式，则G的主合取范式含有（     ）个极大项.
答案: 【8】

【作业】第三讲 命题逻辑 （第二部分） 命题逻辑（第二部分）作业

1、 问题:1.求公式的主析取范式和主合取范式2.符号化以下推理，并用演绎法证明。“程序崩溃的原因可能是堆栈溢出或者指针没有初始化。如果使用了堆栈保护，则堆栈不可能溢出。程序使用了堆栈保护但仍然崩溃了。所以，指针没有初始化。”
评分规则: 【 （7分）利用真值表方法求解，（8分）设P：程序崩溃  Q：堆栈溢出  R：指针初始化了  S：程序使用了堆栈保护。则推理符号化为：证明过程如下：
】

第四讲 谓词逻辑 （第一部分） 谓词逻辑（第一部分）测验

1、 问题:下列公式中,(        )中的和都既是自由变元又是约束变元。
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设是人，与一样高，则命题“人都不一样高”的符号化形式为(        )。
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:设A(x)：x是一个世界冠军，B(x)：x是等出来的。则语句“没有一个世界冠军是等出来的”可符号化为（     ）
选项：
A:
B:
C:
D:
答案: 【;
】

4、 问题:全称量词和存在量词可以随便交换位置
选项：
A:正确
B:错误
答案: 【错误】

5、 问题:一个语句符号化的形式可以不止一种。
选项：