对应课程:点击查看
起止时间:2021-03-01到2021-06-30
更新状态:每5天更新一次
第一章 集合论基础 集合论单元测验
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:
B:
C:
D:
答案:
2、 下列等价关系正确的有（ ）
A:
B:
C:
D:
答案:
;
;
3、 在谓词逻辑的推导过程中，如既要使用规则US 又要使用规则ES 消去量词，而且选用的个体是同一个符号，则必须先使用规则ES，再使用规则US。
A:正确
B:错误
答案: 正确
4、 在谓词推理过程中，若需消去量词，可以引用规则US 和规则ES。
A:正确
B:错误
答案: 正确
5、 在谓词推理过程中，如一个变量是用规则ES 消去量词，对该变量在添加量词时，则只能使用规则_____?(只能填写US\ES\UG\EG这四种)
答案: EG
第四章 谓词逻辑 （第一部分） 谓词逻辑第一部分单元测验
1、 设A(x):x 是人，B(x):x 犯错误，命题“没有不犯错误的人” 符号化为( )。
A:
B:
C:
D:
答案:
2、 设R(x):x 是实数，L(x; y):x
B:
C:
D:
答案:
如需购买完整答案，请点击下方红字：
获取更多中国大学mooc慕课答案，请点击这里，进入mooc.mengmianren.com
腊辆霖娟芍佩眉全湃博扒褪共