泥卡甭白派闻煤喷沟边人传啪
第2讲 命题逻辑
第2讲单元测试
1、单选题:
下列语句中哪些是命题?
A: x-y=10。
B: 我可以过来么?
C: 真辛苦啊!
D: 除非下雨,苗苗一定会去图书馆看书。
答案: 除非下雨,苗苗一定会去图书馆看书。
2、单选题:
下列语句中是原子命题的是?
A: 只要是在教室,就不允许吸烟。
B: 红色和蓝色在一起可以调配成紫色。
C: 如果米老鼠和机器猫都是不存在的,那么很多孩子都被欺骗了。
D: 2是素数当且仅当乌龟会飞。
答案: 红色和蓝色在一起可以调配成紫色。
3、单选题:
下述命题的真值为假的是?
A: 如果1+1=3,那么太阳从东方升起。
B: 如果1+1=3,那么太阳从西方升起。
C: 如果太阳从东方升起,那么1+1=3。
D: 如果太阳从西方升起,那么1+1=3。
答案: 如果太阳从东方升起,那么1+1=3。
4、单选题:
下述真值表表示的命题是( )。InputOutputpqrTTTTTTFFTFTTTFFTFTTTFTFTFFTTFFFT
A: (qÞr)Þ(p∧q)
B: (qÞr)Þ(p∨q)
C: (p∨q)Þ(qÞr)
D: (p∧q)Þ(qÞr)
答案: (p∧q)Þ(qÞr)
5、单选题:
以下有( )个命题公式是析取范式形式。 p∧~q ~p∨q r p∧(~q∨~q)
A: 1
B: 2
C: 3
D: 4
答案: 3
6、单选题:
以下命题公式中,( )是矛盾式。
A: ~(pÞq)∧q
B: rÞ((pÞq)∨~q)
C: p∧(q∨r)
D: p∧(q Þr)
答案: ~(pÞq)∧q
7、单选题:
以下哪一个是 (r Û q) Þ (~p∧p) 的成真指派?
A: 010
B: 111
C: 000
D: 011
E: 101
答案: 010;
101
8、单选题:
以下逻辑公式中,( )是(~p∨~q)Þ(pÛ~q)的主析取范式。
A: (p∧q)∨(p∧~q)∨(~p∧q)
B: p∨q
C: (p∧q)∨(p∧~q)
D: (p∧~q)∨(~p∧q)
答案: (p∧q)∨(p∧~q)∨(~p∧q)
9、单选题:
( )不是正确的推理形式。
A: 前提: ~p∧q, p∨~r, r∨s, sÞu结论: u
B: 前提: p∨q, pÛr, ~q∨s结论: s∨r
C: 前提: pÞ(qÞr)结论: (pÞq)Þ(pÞr)
D: 前提: (p∧q)Þr, ~r∨s, ~s, p结论: q
答案: 前提: (p∧q)Þr, ~r∨s, ~s, p结论: q
10、单选题:
下列语句中哪个是真命题( )
A: 我正在说谎
B: 如果1+2=3,那么雪是黑的
C: 如果1+2=5,那么雪是黑的
D: 严禁吸烟
答案: 如果1+2=5,那么雪是黑的
11、单选题:
p: 我将去镇上。q: 我有时间。命题“我将去镇上,仅当我有时间”符号化为( )
A:
B:
C:
D:
答案:
12、单选题:
p: 张三可以做这件事。q: 李四可以做这件事。命题“张三或李四可以做这件事”符号化为( )
A:
B:
C:
D:
答案:
13、单选题:
p: 我们划船。q: 我们跑步。命题“我们不能既划船又跑步”符号化为( )
A:
B:
C:
D:
答案:
14、单选题:
下面哪一个命题是命题“2是偶数或-3是负数”的否定( )。
A: 2是偶数或-3不是负数
B: 2是奇数或-3不是负数
C: 2不是偶数且-3不是负数
D: 2是奇数且-3不是负数
答案: 2不是偶数且-3不是负数
15、单选题:
若K是重言式,那么K 的否定是( )。
A: 重言式
B: 矛盾式
C: 可满足式
D: 不能确定
答案: 矛盾式
16、单选题:
若K不是重言式,那么它是( )。
A: 矛盾式
B: 可满足式
C: 重言式
D: 不能确定
答案: 不能确定
17、单选题:
命题公式是( )
A: 重言式
B: 矛盾式
C: 不可满足式
D: 不能确定
答案: 重言式
18、单选题:
下列中的假命题是( )。
A: 如果2是偶数,那么一个公式的析取范式唯一
B: 如果2是偶数,那么一个公式的析取范式不唯一
C: 如果2是奇数,那么一个公式的析取范式唯一
D: 如果2是奇数,那么一个公式的析取范式不唯一
答案: 如果2是偶数,那么一个公式的析取范式唯一
19、单选题:
命题公式的成真指派是( )。
A: 000, 001, 110
B: 001, 011, 101, 110, 111
C: 所有真值指派
D: 无
答案: 001, 011, 101, 110, 111
20、判断题:
(p∨q)Þr º (pÞr)∧(qÞr) ?
A: 正确
B: 错误
答案: 正确
21、判断题:
设p: 发生了堵车,q: 他起晚了,r: 他迟到了,则用逻辑符号表示命题“今天虽然他起晚了,但是没有堵车,所以他没有迟到。”为
A: 正确
B: 错误
答案: 错误
22、判断题:
p∨q与~q∨~r归结的结果是p∨r。
A: 正确
B: 错误
答案: 错误
第3讲 谓词逻辑
第3讲单元测试
1、单选题:
以下( )不是的子公式。
A:
B:
C:
D:
答案:
2、单选题:
在谓词公式(“x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中,(“x)的辖域是( )
A: (F(x)ÞG(y))
B: F(x)
C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))
D: (“x)(F(x)
答案: (F(x)ÞG(y))
3、单选题:
以下谓词公式中,( )是逻辑有效式。
A: “x Q(x) Þ ($x Q(x)∨”y S(y) )
B: $x(A(x)ÞB) Û $xA(x)ÞB
C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x)
D: “x$y P(x,y) Þ $x”y P(x,y)
答案: “x Q(x) Þ ($x Q(x)∨”y S(y) )
4、单选题:
以下谓词公式中,( )不是逻辑有效式。
A: “x P(x) Þ (“x P(x)∨$y G(y) )
B: “x(A(x)ÞB) Û $xA(x)ÞB
C: “x(A(x)∧B(x)) Û “xA(x)∧”xB(x)
D: “x$y P(x,y) Þ $x”y P(x,y)
答案: “x$y P(x,y) Þ $x”y P(x,y)
5、单选题:
以下谓词公式中,( )不是逻辑有效式。
A: ($x)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x)
B: (“x)(P(x)∧Q(x)) Þ (“x) P(x)∧(“x) Q(x)
C: ($x)(P(x)∧Q(x)) Û ($x) P(x)∧(
上方为免费预览版答案,如需购买完整答案,请点击下方红字:
为了方便下次阅读,建议在浏览器添加书签收藏本网页
添加书签方法:
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
点击浏览器底部菜单-【添加书签】-收藏本网页
点击浏览器底部菜单-【书签/历史】-可查看本网页
获取更多慕课答案,欢迎在浏览器访问我们的网站:
http://mooc.mengmianren.com
注:请切换至英文输入法输入域名,如果没有成功进入网站,请输入完整域名:http://mooc.mengmianren.com/
我们的公众号
打开手机微信,扫一扫下方二维码,关注微信公众号:萌面人APP
本公众号可查看各种网课答案,还可免费查看大学教材答案
点击这里,可查看公众号功能介绍
APP下载
APP功能说明
1.可查看各种网课答案
点击【萌面人官网】,可查看知到智慧树,超星尔雅学习通,学堂在线等网课答案
点击【中国大学慕课答案】,可查看mooc慕课答案
2.可一键领取淘宝/天猫/京东/拼多多无门槛优惠券
如图所示,点击对应图标即可领取淘宝/天猫/京东/拼多多无门槛优惠券
耐嘿捐逻式翟敝琉添瑰苇镣形