对应课程:点击查看
起止时间:2020-03-02到2020-06-26
更新状态:已完结
第一篇章 数理逻辑 单元测验-数理逻辑
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
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
为了方便下次阅读，建议在浏览器添加书签收藏本网页
添加书签方法：
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
获取更多MOOC答案，欢迎在浏览器访问我们的网站：http://mooc.mengmianren.com
注：请切换至英文输入法输入域名，如果没有成功进入网站，请输入完整域名：http://mooc.mengmianren.com/
我们的公众号
打开手机微信，扫一扫下方二维码，关注微信公众号：萌面人APP
本公众号可查看各种网课答案，还可免费查看大学教材答案
点击这里，可查看公众号功能介绍
一键领取淘宝，天猫，京东，拼多多无门槛优惠券，让您购物省省省，点击这里，了解详情
干饭人福利，饿了么红包每日领
