逻辑导论课本参考答案.docx
《逻辑导论课本参考答案.docx》由会员分享，可在线阅读，更多相关《逻辑导论课本参考答案.docx（16页珍藏版）》请在冰豆网上搜索。
逻辑导论课本参考答案
逻辑导论第二章参考答案
第一题
1、内涵2、外延3、内涵4、外延（军队，警察，法庭，监狱等）、内涵（阶级压迫的工具）5、内涵6、内涵7、内涵8、内涵（希望他人向自己发出要约意思表示）、外延（寄送的价目表、拍卖公告、招标公告、招股说明书、商业广告等）9、内涵10、外延
第二题
1、单独概念，集合概念2、普遍概念，非集合概念
3、单独概念，集合概念4、普遍概念，非集合概念
5、单独概念，集合概念6、普遍概念，非集合概念
7、单独概念，集合概念8、普遍概念，集合概念
9、普遍概念，集合概念10、普遍概念，非集合概念
11、单独概念，集合概念12、普遍概念，集合概念
13、动物：
普遍概念，集合概念人类：
单独概念，集合概念
第三题
1、全同2、反对3、种属4、属种5、交叉6、反对7、矛盾8、交叉
9、属种（刑罚和主刑）、属种（刑罚和附加刑）10、全同
五
1．a与b：
属种关系；a与c：
交叉关系
b与a：
种属关系；b与c：
交叉关系
c与a：
交叉关系；c与b：
交叉关系
2.a与b：
交叉关系；a与c：
属种关系
b与a：
交叉关系；b与c：
属种关系
c与a：
种属关系；c与b：
种属关系
3a与b：
属种关系；a与c：
属种关系
b与a：
种属关系；b与c：
交叉关系
c与a：
种属关系；c与b：
交叉关系
4a与b：
交叉关系；a与c：
交叉关系；a与d：
交叉关系；b与c：
交叉关系；b与d：
交叉关系；c与d：
交叉关系
六．
1．“非人文科学”“自然科学”或“社会科学”2．“非导体”“半导体”或“绝缘体”
3．“外国律师”“美国律师”4．“不合法行为”“违法行为”
第七题
a和b是属种关系
b和c是属种关系
c、d、e是全同关系
第八题
正确的是第1、10、16小题，其余错误
第九题
1、限制：
程序法；扩大：
行为规范
2、限制：
女审判员；扩大：
司法人员
3、限制：
大兴安岭森林；扩大：
植物
4、不能限制（单独概念）；扩大：
作家
第三章参考答案
第一题
1.联言P∧q2.联言P∧q3.负命题┐p
4.负命题┐p5.选言命题p∨q6.选言命题p∨q
7.必要条件假言¬p→¬q8.必要条件假言命题q→p
9.等值命题pq10.选言命题（P∧q）∨（┐p∧┐q）
11.排斥选言┐（pq）12.联言P∧q13.联言P∧q∧r
14.p∧（q∧r∧s∧t）15.联言P∧q16.联言（p→q）∧（┐p→r）17.联言P∧q18.联言P∧q19.选言p∨q∨r
20.排斥选言┐（pq）21.假言p∨q→r22.必要条件假言命题q→p
23.选言p∨q24.假言p→q25.联言P∧q
第二题
1.（p∨q）→¬r2．p∧[┐（q∨r）∧（¬s∨¬t）]→¬u
3.（p∨q）∧r→¬s∧（t∨u）4.p∧（q∨r）∧s→t∧s
5.p∨q→r6.p∧q∧r∧s∧t
7.（pq）（p∧s→t）（p∧s→u）8.（¬p∨q）¬s¬r
第三题
1.
是重言式
2不是重言式
3
不是重言式
4
是重言式
5不是重言式
6
是重言式
7是重言式
8
是重言式
9
是重言式
10
是重言式
11是重言式
12不是重言式13
是重言式
14
是重言式
15不是重言式
第四题
1.
与__7__相互等值，与___2_相互矛盾。
2.
与__3__相互等值，与___6_相互矛盾。
3.
与__5__相互等值，与__4__相互矛盾。
4.
与__1__相互等值，与__8__相互矛盾。
第五题
1如果他愿意来，那他就是没时间来。
（并非他有时间来且愿意来）
2.即使他努力学习，也不能取得好成绩.（并非或者他不努力学习或者他取得好成绩）
3.他或者没犯抢劫罪，或者没犯抢夺罪。
（如果他犯了抢劫罪，他就没犯抢夺罪）
4.并非某甲和某乙都是凶手。
（或者某甲不是凶手或者某乙不是凶手）。
第六题
（1）p∧q→r←→p→（q→r）
76页例5
（2）p→（q→r）←→q→（p→r）
76页例6
（3）（3） （p←→q）←→（p→q）∧（¬p→¬q）
（p←→q）←→（p→q）∧（q→p）（已知）
（p←→q）←→（p→q）∧（¬p→¬q）（置换规则）
（4）¬（p←→q）←→（p∨q）∧¬（p∧q）
（p←→q）←→（p∧q）∧（¬p∧¬q）（已知）
¬（p←→q）←→＾[（p∧q）∧（¬p∧¬q）]（双端否定规则）
¬（p←→q）←→＾（p∧q）∧¬（¬p∧¬q）（置换规则）
¬（p←→q）←→（p∨q）∧¬（p∧q）（置换规则）
第七题
二难推理：
（p→q）∧（r→s）∧（p∨r）→q∨s
假言连锁推理：
（¬q→¬p）∧（¬p→r）∧（r→s）→¬q→s
第八题
（1）①p→rP
②q→sP
③¬r∨¬sP
④¬（¬p∨¬q）P
⑤p∧q④T
⑥r⑤T
⑦s⑤T
⑧r∧s⑥⑦T
⑨¬（r∧s）③T
⑩（r∧s）∧¬（r∧s）③⑨T
⑾¬p∨¬q④⑩R.A.A
（2） ①¬p→qP
②¬p→¬qP
③p∨q①T
④p∨¬q②T
⑤¬pP
⑥（¬q∧q）③④T
⑦p⑤⑥R.A.A
（3）①p→q∨rP
②q→¬pP
③s→¬rP
④pP
⑤¬q②T
⑥q∨r①④T
⑦r⑤⑥T
⑧¬s③⑧T
⑨p→¬s④⑧C.P
（4）①p→q∧rP
②¬q∨¬r∨sP
③¬（p∧s）P
④pP
⑤q∧r①T
⑥s②⑤T
⑦¬s∨¬p③T
⑧¬p⑥⑦T
⑨¬p∧p④⑧T
⑩¬p④⑨R.A.A
第九题参考答案（需要给出形式化的表达，请修改）
1.联言推理分解式有效2.假言推理否定前件式无效
3.必要条件假言推理肯定前件式无效4.选言推理否定肯定式有效
5.否定析取式有效6.否定合取式有效
7.否定蕴含式有效8.联言推理合成式有效
9.必要条件假言推理肯定后件式有效10.假言推理否定后件式有效
11.选言推理肯定否定式无效12.必要条件假言推理否定后件式无效
13.假言推理肯定后件式无效14.排斥选言推理肯定否定式有效
15.等值推理否定式有效16.假言推理肯定前件式有效
17.选言推理否定肯定式有效18.假言推理否定后件式有效
19.假言推理否定后件式有效20.必要条件假言推理否定前件式无效
21.假言推理否定后件式有效22.二难推理破坏式有效
23.假言推理肯定前件式有效24.条件互易式有效
25.假言联锁推理有效26.二难推理破坏式有效
27.假言推理肯定前件式有效
第十题
1、A：
（pq）¬q¬p否定后件有效
B：
（pq）qp无效
C：
（¬p→¬q）pq无效
D：
（pq）¬q¬p有效
2、1①A∨BP
2②A→¬CP
3③D→EP
4④¬C→DP
5⑤F∧¬EP
5⑥¬E⑤T
3,5⑦¬D③⑥T
3,4,5⑧C④⑦T
2,3,4,5⑨¬A②⑧T
1,2,3,4,5⑩B①⑨T
所以侦查人员的推断有效。
3、1①E→A∨CP
2②¬B→¬AP
3③C∨¬BP
4④¬E→¬DP
5⑤DP
4,5⑥E④⑤T
1,4,5⑦A∨C①⑥T
2⑧A→B②T
3⑨C→B③T
1,23,4,5⑩B⑦⑧⑨C.P
所以这个推理有效
4、1①A∨BP
2②¬A∨¬CP
3③¬P→¬EP
4④¬C→EP
5⑤¬DP
3,5⑥¬E③⑤T
3,4,5⑦C④⑥T
2,3,4,5⑧¬A②⑦T
1,2,3,4⑨B①⑧C.P
所以侦察科长的推理有效
5、1①A→¬BP
2②C∨BP
3③¬CP
2，3④B②③T
1,2,3⑤¬A①④T
所以该参谋长的推断有效
第十一题
将简单命题用符号表示如下：
A:
X杀死A
B:
Y杀死A
C:
X伪造了现场
D:
我在现场
E:
我被杀死
推理过程如下：
1①A∨BP
2②A→CP
3③D→EP
4④┐D→┐CP
5⑤┐EP
3,5⑥┐D③⑤T
3,4,5⑦┐C④⑥T
2,3,4,5⑧┐A②⑦T
1,2,3,4,5⑨B①⑧T
行⑨表明：
推出结论为B：
Y杀死了A
所以，乙说的不全是真话
第十二题
将简单命题用符号表示如下：
A：
甲是冠军
B：
乙是冠军
C：
丙是冠军
D：
丁是冠军
则将三种说法表示如下：
①:
┐（┐A∧┐B）←→A∨B
②:
┐C→┐D←→D→C
③:
┐A
现假设ABCD中的其中一个为真（即假设他们中的一个是冠军），则其余三个为假，结果如下表所示：
说法
假设的
冠军
A∨B
D→C
┐A
甲
＋
＋
－
乙
＋
＋
＋
丙
－
＋
＋
丁
－
－
＋
由上表可知：
丁是冠军，说法③是正确的
第十三题
将简单命题用符号表示如下：
A：
凶手是甲
B：
凶手是乙
C：
凶手是丙
D：
该案是谋财杀人案
E：
被害人丢失了财物
F:
案件发生在晚九时以后
推理过程如下：
1①A∨B∨CP
2②┐D→┐AP
3③D→EP
4④B→FP
5⑤┐F∧┐EP
5⑥┐F⑤T
4,5⑦┐B④⑥T
5⑧┐E⑤T
3,5⑨┐D③⑧T
2,3,5⑩┐A②⑨T
1,2,3,4,5⑾C①⑦⑩T
行⑾表明：
凶手是丙
第十四题
将简单命题用符号表示如下：
A：
派A去
B：
派B去
C：
派C去
E：
派E去
F：
派F去
推理过程如下：
1①E→A∨CP
2②┐B→┐AP
3③C→BP
4④┐E→┐FP
5⑤FP
4,5⑥E④⑤T
1,4,5⑦A∨C①⑥T
2⑧A→B②T
1,2,3,4,5⑨B③⑦⑧T
行⑨表明：
该派B去
第十五题
将简单命题用符号表示如下：
A：
甲是间谍
B：
乙是间谍
C：
会议记录被泄露了
D：
会议召开时有人中途离席
E：
机要员证词真实
F：
甲在会场出去打电话了
推理过程如下：
1①A∨BP
2②┐A∨┐CP
3③┐D∧FP
4④E→CP
5⑤D∨EP
3⑥┐D③T
3,5⑦E⑤⑥T
3,4,5⑧C④⑦T
2,3,4,5⑨┐A②⑧T
1,2,3,4,5⑩B①⑨T
行⑩表明：
结论为B：
乙是间谍
第十六题：
1①¬B→¬AP
2②¬C→¬BP
3③D→EP
4④A∨DP
5⑤¬CP
1⑥A→B①T
2⑦B→C②T
1,2⑧A→C⑥⑦T
1,2,5⑨¬A⑤⑧T
1,2,4,5⑩D④⑨T
1,2,3,4,5（11）E③⑩T
第十七题：
（此题写法有些地方不规范，可参考思维过程）
以“F”表示必须从7人中挑选4人；
以“f”表示只能从7人中挑选4人。
11F˄fP
22R→TP
33S→UP
44XY→¬TP
第一小题：
选④U
以“F”表示必须从7人中挑选4人；
以“f”表示只能从7人中挑选4人。
11F˄fP
22R→TP
33S→UP
44XY→¬TP
55XYP
4,56¬T4,5T
2,4,57¬R2,6T
接下来，要继续推导下去，需要插入假设条件！
因为F˄f,所以除X,Y外，还要从S,U,Z,三人中选出两人！
因此共有3种情况！
一，假设选上了S和U,这种情况不与前提和上面推导的结果相背，符合题意！
二，假设选上了U和Z,这种情况也不与前提和上面推导的结果相背，符合题意！
三，假设选上了S和Z,根据条件3，如果S当选，则U必须当选，因此假如S和Z当选，那么U也必须当选，那么选上的人就是X,Y,S,U,Z五人了，与前提条件1“F˄f”不符！
因此，这种情况需要排除！
综上所述，只有以上一，二两种情况符合题意！
两种情况下U都要当选，所以U必须当选！
第二小题：
选①R
11F˄fP
22R→TP
33S→UP
44X˄Y→¬TP
55S˄ZP
56S3T
3,57U3,6T
接下来，要继续推导下去，需要插入假设条件！
因为条件1“F˄f”与S,Z,U,三个人已当选，因此还要从R,T,X,Y四人中选出一人！
一，假设T当选，这种情况不与前提和上面推导的结果相背，符合题意！
二，假设X当选，这种情况不与前提和上面推导的结果相背，符合题意！
三，假设Y当选，这种情况不与前提和上面推导的结果相背，符合题意！
四，假设R当选，这种情况下，由于条件2“R→T”因此，T必须当选！
那么就有S,U,Z,R,T五人当选，与条件1“F˄f”
不符，因此这种情况需要被排除！
综上所述，T,X,Y三人皆可当选，R不能被选！
第三小题：
选④X
11F˄fP
22R→TP
33S→UP
44X˄Y→¬TP
55¬UP
3,56¬S3，5T
接下来，要继续推导下去，需要插入假设条件！
因为条件1“F˄f”且¬U˄¬S,所以还需从R,T,X,Z,Y五人选出四人！
一，假设R,T,Z三人与X,Y两人中任意一人同时当选，这种情况不与前提和上面推导的结果相背，符合题意！
二，假设X,Y两人同时当选而R,T,Z三人中有一人没有当选上，那么根据条件4“X˄Y→¬T”，T不能当选！
那么R与Z必须当选，然而一旦R当选，那么根据条件2“R→T”,那么T当选，这就与上面的结论T不能当选相矛盾，如果R与T同时当选，那么，就有X,Y,Z,R,T五人当选，就与条件1“F˄f”相矛盾，因此，X与Y绝不能同时当选！
综上所述，X,Y,Z.R.T,五人中，X与Y绝不能同时当选，即X当选则Y不能当选，Y当选则X不能当选！
X与Y中可任选一人但只能选一人！
因此X与Y是可以被选但又不是非选不可的！
而题中只提供了X的选项，因此选4X!
第十八题：
选D（老刘与小关在一个小组）
解析：
若老刘与小关在同一小组，那根据条件（3）“或者老赵和小刘在一个小组，或者老刘不和小关在一个小组”，老赵必须与小刘在同一小组，那么就只剩老张、老关、小张和小赵四人配对，再根据条件（4）“老关不与小张在同一小组”，那么根据条件
（1）“每个小组一个医师一个护士”，老张必须与小张一组，而这又与条件
（2）“同姓的不在一组”相矛盾！
因此，老刘不能和小关一组，故选D！
第十九题：
法学院——小刘，商学院——小赵，
医学院——小张，文学院——小关！
解析：
因为小刘年龄比文学院的大，而文学院的学生比医学院的学生年龄大，所以小刘不是文学院的也不是医学院的，而商学院的学生不是小张就是小赵，所以小刘也不是商学院的，所以小刘只能是法学院的了！
又法学院的小刘比文、医两学院的都要大，而法学院的小刘年龄比商学院的要小，所以商学院的学生是四人中最大的了，而商学院的学生不是小张就是小赵，而且小关的年龄比小张大，所以小张不可能是四人中年龄最大的，所以商学院的学生就是小赵。
那么就只有文学院的医学院的和小关、小张支配对了。
又文学院的学生比医学院的年龄大，而小关比小张的年龄大，所以小关是文学院的，而小张是医学院的！
年龄简图如下：
商>法>文>医
↓↓↓↓
赵>刘>关>张
第六章模态规范逻辑
一．
1
（1）真假不定
（2）假（3）真假不定（4）真假不定
2
（1）假
（2）真假不定（3）真假不定（4）真假不定
3
（1）真
（2）真（3）假（4）真
4
（1）真
（2）假（3）真假不定（4）真假不定
二．1.﹁□p→◇﹁p有效 2.﹁◇﹁p→◇p有效3.﹁□﹁p→﹁◇﹁p无效
4.﹁□p→□﹁p无效5.p→◇p有效 6.Op→Pp有效7.Pp→﹁P﹁p无效
8.﹁Fp→Op无效9.Op→F﹁p有效 10.Fp→﹁Pp有效
升级会员 