揪梁葛茅蹬闲滔萎宿斜檀玫劝
第一章 集合论基础 集合论单元测验
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
上方为免费预览版答案，如需购买完整答案，请点击下方红字
点关注，不迷路，微信扫一扫下方二维码
关注我们的公众号：阿布查查 随时查看答案，网课轻松过
为了方便下次阅读，建议在浏览器添加书签收藏本网页
电脑浏览器添加/查看书签方法
1.按键盘的ctrl键+D键，收藏本页面
2.下次如何查看收藏的网页？
点击浏览器右上角-【工具】或者【收藏夹】查看收藏的网页
手机浏览器添加/查看书签方法
一、百度APP添加/查看书签方法
1.点击底部五角星收藏本网页
2.下次如何查看收藏的网页？
点击右上角【┇】-再点击【收藏中心】查看
二、其他手机浏览器添加/查看书签方法
1.点击【设置】-【添加书签】收藏本网页
2.下次如何查看收藏的网页？
点击【设置】-【书签/历史】查看收藏的网页
丝克舒滥蓖任稳捕喀图妙禾诗