饱道供墟炔汰壬台啸胖醋莱别
搁晴使显锭铰剖棉提羌聘暮喜
第一章 单元测试
1、单选题:
若P:天下雨;Q:他来了;则“虽然天下雨,他还是来了”,可符号化为( )
选项:
A:P∨Q
B:P∧Q
C:P∨┐Q
D:P→Q
答案: 【P∧Q
】
2、单选题:
以下命题公式中,为永真式的是( )
选项:
A:(Q∨┐P)→(P∧┐P)
B:┐(Q→Q∧P)
C:(P→┐P)→┐P
D:P∧(P∨Q∨R)
答案: 【(P→┐P)→┐P
】
3、多选题:
命题公式的能成真赋值的P,Q的值为( )
选项:
A:11
B:10
C:00
D:01
答案: 【11
;00
;01
】
4、多选题:
命题公式的能成假赋值的P,Q的值为( )
选项:
A:01
B:00
C:10
D:11
答案: 【01
;00
;10
】
5、多选题:
G=P→(P∧(Q→P))主析取范式中所含的极大极小项有( )
选项:
A:P∨¬Q
B:¬P∧¬Q
C:无
D:P∧Q
E:¬P∨¬Q
F:¬P∧Q
G:P∧¬Q
H:¬P∨Q
I:P∨Q
答案: 【¬P∧¬Q
;P∧Q
;¬P∧Q
;P∧¬Q
】
6、多选题:
G=P→(P∧(Q→P))主合取范式中所含的极大极小项有( )。
选项:
A:无
B:P∧¬Q
C:¬P∨¬Q
D:此项必选
E:¬P∧Q
F:P∧Q
G:P∨¬Q
H:P∨Q
I:¬P∨Q
J:¬P∧¬Q
答案: 【无
;此项必选
】
7、多选题:
(P→Q)∧Q的主合取范式中所含的极大极小项有( )。
选项:
A:P∧Q
B:¬P∧Q
C:¬P∨Q
D:¬P∧¬Q
E:P∨¬Q
F:P∨Q
G:P∧¬Q
H:无
I:¬P∨¬Q
答案: 【¬P∨Q
;P∨Q
】
8、多选题:
(P→Q)∧Q的主析取范式中所含的极大极小项有( )。
选项:
A:¬P∨Q
B:P∧Q
C:¬P∧¬Q
D:¬P∧Q
E:¬P∨¬Q
F:P∧¬Q
G:无
H:P∨Q
I:P∨¬Q
答案: 【P∧Q
;¬P∧Q
】
9、多选题:
设前提集合Γ={P∨Q, R∧S, ┐Q},公式G=P∧S,,证明Γ=>G。
证明:
(1)┐Q P
(2)P∨Q P
(3) T,1),2),I
(4)R∧S P
(5) T,4),I
(6)P∧S T,3),5),I
按顺序选出(3)和(5)处应该填的内容( )
选项:
A:P
B:¬P
C:R
D:S
答案: 【P
;S
】
10、多选题:
使用演绎法构造下列推理的证明。按顺序选出(3),(5),(6)处应该填的内容。
选项:
A:
B:
C:
D:
E:
F:
答案: 【
;
;
】
第二章 单元测试
1、单选题:的否定式是( ).
选项:
A:(
B:
C:.
D:
答案: 【
】
2、单选题:
谓词公式(x)(P(x))→(
z)Q(x,z)∧(
y)R(x,y)中变元y( )
选项:
A:既是自由变元又是约束变元
B:是自由变元但不是约束变元
C:既不是自由变元又不是约束变元
D:是约束变元但不是自由变元
答案: 【是约束变元但不是自由变元
】
3、单选题:
设:
是鸟,
:
会飞,命题“没有不会飞的鸟”符号化为( )
选项:
A:
B:
C:
D:
答案: 【
】
4、判断题:
谓词公式设是永真的. ( )
选项:
A:对
B:错
答案: 【错】
5、判断题:
设个体域是整数集合,P代表,P是假命题. ( )
选项:
A:对
B:错
答案: 【对】
6、单选题:
下列公式是前束范式的是( )
选项:
A:
B:
C:
D:
答案: 【
】
7、单选题:
下述推理证明过程中,正确的是( )。
选项:
A:
B:
C:
D:
答案: 【
】
8、单选题:
以下谓词推理不正确的是( )
选项:
A:
B:
C:
D:
答案: 【
】
9、单选题:
下列推理式不正确的是( )
选项:
A:
B:
C:
D:
答案: 【
】
10、单选题:
以下谓词推理说法正确的是( )。
选项:
A:
B:
C:
D:
答案: 【
】
完整版答案需支付5元购买,完整答案是全部章节的课后答案。制作这些答案花费了很多心血,希望大家理解,如需购买请点击下方红字:
注意:完整答案是全部的课后答案,无期末答案!
萌面人优惠券
一键领取淘宝,天猫,京东,拼多多无门槛优惠券,购物省省省!
如需了解详情请点击下方红字:
萌面人优惠券APP下载
支持安卓,苹果,PC电脑等设备,可查看各种大学网课答案,可一键领取淘宝,天猫,京东,拼多多无门槛优惠券
详情请点击下方红字:
更多信息:如何找到本平台?
方法一:
点击下方红字,访问萌面人资料铺
方法二:
搜狗搜索:萌面人资料铺 认准域名:www.xuexianswer.com 或者域名:xuexianswer.com 点击进入
方法三:
打开手机微信,扫一扫下方二维码,关注微信公众号:萌面人APP
本公众号可查看各种网课答案,还可免费查看大学教材答案
点击这里,可查看公众号功能介绍
为了下次更快打开本网站,建议在浏览器添加书签收藏本网页。
添加书签方法:
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
态肆锚撩净姐称田新舱铝碴鳖
匈怀埂年情廷诲皆剧蓉瓣蚀伦