拉绞潞弘孔岭泉看顽孤晃霖具
第一篇章 数理逻辑
单元测验-数理逻辑
1、单选题：
下列（ ）那些运算符都是可交换的
A: 
B: 
C: 
D: 
答案:
2、单选题：
设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，下列（ ）命题的真值为真。
A: 
B: 
C: 
D: 
答案:
3、单选题：
全体小项合取式为（ ）。
A: 可满足式
B: 矛盾式
C: 永真式
D: A，B，C都有可能
答案: 矛盾式
4、单选题：
下列哪些公式为永真蕴含式（ ）。
A: 
B: 
C: 
D: 
答案:
5、单选题：
令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为
A: p∧┐q
B: p∨┐q
C: p∧q
D: p→┐q
E: ┐p→q
答案: p∧┐q ;
p∧q
6、单选题：
对一阶逻辑公式
的说法正确的是( )。
A: x是约束的，y是约束的，z是自由的
B: x是约束的，y既是约束的又是自由的，z是自由的
C: x是约束的，y既是约束的又是自由的，z是约束的
D: x是约束的，y是约束的，z是约束的
答案: x是约束的，y既是约束的又是自由的，z是自由的
7、单选题：
设个体域为有理数集Q，则以下谓词公式中为假的是（）。
A: 
B: 
C: 
D: 
答案:
8、单选题：
“人总是要死的”谓词公式表示为（ ）。（论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。
A: 
B: 
C: 
D: 
答案:
9、单选题：
设B不含有x，下列一阶逻辑等值式不正确的是
A: 
B: 
C: 
D: 
答案:
10、单选题：
下列是命题公式p∧(q∨┓r)的成真赋值的是( )
A: 110，111，100
B: 110，101，011
C: 所有赋值
D: 无
答案: 110，111，100
11、多选题：
下列语句是命题的有（ ）。
A: 明年中秋节的晚上是晴天。
B: x+y>0。
C: xy>0 当且仅当 x 和 y 都大于0。
D: 我正在说谎。
答案: 明年中秋节的晚上是晴天。;
xy>0 当且仅当 x 和 y 都大于0。
12、多选题：
若
和B为wff，且
则（ ）。
A: 称
为B的前件
B: 称B为
的有效结论
C: 当且仅当
D: 当且仅当
答案: 称B为的有效结论;
当且仅当
13、判断题：
命题“存在一些人是大学生”的否定是：“所有人都不是大学生”
A: 正确
B: 错误
答案:
上方为免费预览版答案，如需购买完整答案，请点击下方红字：
为了方便下次阅读，建议在浏览器添加书签收藏本网页
添加书签方法：
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
点击浏览器底部菜单-【添加书签】-收藏本网页
点击浏览器底部菜单-【书签/历史】-可查看本网页
获取更多慕课答案，欢迎在浏览器访问我们的网站：
http://mooc.mengmianren.com
注：请切换至英文输入法输入域名，如果没有成功进入网站，请输入完整域名：http://mooc.mengmianren.com/
我们的公众号
打开手机微信，扫一扫下方二维码，关注微信公众号：萌面人APP
本公众号可查看各种网课答案，还可免费查看大学教材答案
点击这里，可查看公众号功能介绍
APP下载
APP功能说明
1.可查看各种网课答案
点击【萌面人官网】，可查看知到智慧树，超星尔雅学习通，学堂在线等网课答案
点击【中国大学慕课答案】，可查看mooc慕课答案
2.可一键领取淘宝/天猫/京东/拼多多无门槛优惠券
如图所示，点击对应图标即可领取淘宝/天猫/京东/拼多多无门槛优惠券
即弧奠琳票估环诽忿肠床帮独