鹅菲饯归膏韭寄负嫉咖巧琶高
对应课程:点击查看
起止时间: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
摧埠眯煎挂马富弊癌菇凑叼醚