逻辑导论期末复习知识整理+课后题答案.docx
《逻辑导论期末复习知识整理+课后题答案.docx》由会员分享，可在线阅读，更多相关《逻辑导论期末复习知识整理+课后题答案.docx（31页珍藏版）》请在冰点文库上搜索。
逻辑导论期末复习知识整理+课后题答案
第二章
1、概念的种类
10、人贵有自知之明：
普遍概念，非集合概念
11、人是由猿进化而来的：
单独概念，集合概念
12、书是知识的海洋：
普遍概念，集合概念
13、动物是人类的朋友：
动物：
普遍概念，集合概念人类：
单独概念，集合概念
2、定义与划分
3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）
6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）
11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）
第二章参考答案
第一题
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：
种属关系
3．a与b：
属种关系；a与c：
属种关系
b与a：
种属关系；b与c：
交叉关系
c与a：
种属关系；c与b：
交叉关系
4．a与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小题，其余错误
3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）
6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）
11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）
第九题
1、限制：
程序法；扩大：
行为规范2、限制：
女审判员；扩大：
司法人员
3、限制：
大兴安岭森林；扩大：
植物4、不能限制（单独概念）；扩大：
作家
第三章，逻辑推理：
命题演算
一，复合命题
1，负命题
2，联言命题有p必有q，无p未必无q
3，相容选言命题:
p或者q,pq
4，排斥选言命题:
要么p，要么q,p、q二者必居其一,（p↔q）
5，假言命题：
如果p，那么q，p→q
有p必有q，无p未必无q
6，必要条件假言命题：
只有p,才q,q→p
无p必无q,有p未必有q
7，等值命题：
p当且仅当q，p↔q
二，有效式
1、排斥选言推理
（a）否定肯定式：
（pq）（pq）p→q
（pq）（pq）q→p
（b）肯定否定式：
（pq）（pq）p→q
（pq）（pq）q→p
2，二难推理（假言选言推理）
①构成式：
（p→r）（q→r）（pq）→r
（p→r）（q→s）（pq）→rs
②破坏式：
（p→r）（p→s）（rs）→p
（p→r）（q→s）（rs）→pq
3，反三段论推理：
（pqr）（rpq）
4,PN系统的基本规则
（1）前提引入规则（P规则）
（2）重言蕴涵规则（T规则）
（3）条件证明规则（C.P规则）
证明：
P120/八/3
①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
（4）间接证明规则R.A.A
证明：
（p→r）（q→s）（rs）→pq
①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
第三章参考答案
第一题（补充：
不是…而是…：
联言命题）
1.联言命题：
P∧q
2.联言命题：
P∧q
3.到过现场的并不都是作案人：
负命题┐p
4.负命题┐p
5.选言命题p∨q
6.选言命题p∨q
7.未经人民法院依法判决，对任何人都不得确定有罪：
必要条件假言¬p→¬q8.必要条件假言命题q→p
9.等值命题p↔q
10.某甲和某乙或者都是案犯，或者都不是案犯：
选言命题（P∧q）∨（┐p∧┐q）
11.排斥选言：
┐（p↔q）
12.联言：
P∧q
13.联言：
P∧q∧r
14.联言：
p∧（q∧r∧s∧t）
15.科学技术不是上层建筑，而是生产力：
联言：
P∧q
16.有则改之，无则加勉：
联言（p→q）∧（┐p→r）
17.联言:
P∧q
18.联言P∧q
19.选言p∨q∨r
20.排斥选言┐（p↔q）
21.假言p∨q→r
22.必要条件假言命题q→p
23.选言p∨q
24.假言p→q
25.这件事情的结局，不会有利于被告，只会有利于原告：
联言P∧q
第二题
1.（p∨q）→¬r
2．p∧[┐（q∨r）∧（¬s∨¬t）]→¬u
3.（p∨q）∧r→¬s∧（t∨u）
4.p∧（q∨r）∧s→t∧s
5.p∨q→r
6.p∧q∧r∧s∧t
7.犯罪以后自首的，可以从轻或者减轻处罚。
其中，犯罪较轻的，可以免除处罚；有重大立功表现的，应当减轻或者免除处罚。
（pq）（p∧s→t）（p∧s→u）
8.因不可当里不能履行合同或这造成他人损害的，不承担民事责任，法律另有规定的除外
（¬p∨q）¬s¬r
第三题
假设AB为假，则A真B假，若按A真B假导出逻辑矛盾，则AB不可能为假，则AB是重言式。
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）（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,2,3,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杀死AB:
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③⑦⑧行⑨表明：
该派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
第十八题：
选D（老刘与小关在一个小组）
解析：
若老刘与小关在同一小组，那根据条件（3）“或者老赵和小刘在一个小组，或者老刘不和小关在一个小组”，老赵必须与小刘在同一小组，那么就只剩老张、老关、小张和小赵四人配对，再根据条件（4）“老关不与小张在同一小组”，那么根据条件
（1）“每个小组一个医师一个护士”，老张必须与小张一组，而这又与条件
（2）“同姓的不在一组”相矛盾！
因此，老刘不能和小关一组，故选D.
第十九题：
法学院——小刘，商学院——小赵，
医学院——小张，文学院——小关.
解析：
因为小刘年龄比文学院的大，而文学院的学生比医学院的学生年龄大，所以小刘不是文学院的也不是医学院的，而商学院的学生不是小张就是小赵，所以小刘也不是商学院的，所以小刘只能是法学院的了！
又法学院的小刘比文、医两学院的都要大，而法学院的小刘年龄比商学院的要小，所以商学院的学生是四人中最大的了，而商学院的学生不是小张就是小赵，而且小关的年龄比小张大，所以小张不可能是四人中年龄最大的，所以商学院的学生就是小赵。
那么就只有文学院的医学院的和小关、小张支配对了。
又文学院的学生比医学院的年龄大，而小关比小张的年龄大，所以小关是文学院的，而小张是医学院的！
年龄简图如下：
商>法>文>医
↓↓↓↓
赵>刘>关>张
第四章
第四章参考答案
第一题
1.A鸟卵生脊椎动物周延不周延2.A月球上没有生物的周延，不周延
3.E金属非导体周延周延4.A这个困难可以克服周延不周延
5.O金属固体不周延周延6.A商品劳动产品周延不周延
7.E无罪的人适用免予起诉周延周延8.O中毒死亡者自服中毒不周延周延
9.I我们当中有人不赞成方案不周延不周延10.A困难可以克服周延不周延
第二题
1.SIP2.SEP
2.SOP4.SAP
3.SOP6.POS
第三题
1．SAP→SIP有犯罪行为是违法行为
1.¬SAP→SOP有违法行为不是犯罪行为
2.SEP→SOP有侵略战争不是正义的
3.¬SEP→SIP有战争是正义的
4.SIP→¬SEP并非所有律师都不是政法大学的毕业生
5.¬SIP→SEP诈骗罪都不是过失犯罪
6.SOP→¬SAP并非凡被告都是罪犯
7.¬SOP→SAP凡贪污罪都是故意犯罪
第四题
1．
（1）真
（1）真假不定¬SAP
（2）假
（3）真
2：
（1）真假不定SIP
（2）真假不定SIP
（3）假
（4）真假不定
3：
（1）假
（2）真
（3）真
（4）真
4.
（1）真假不定
（2）假
（3）假
（4）真
第五题
1．SAP→﹁SEP反对关系推理。
2．﹁SOP→SIP下反对关系推理。
3．SA
→SEP换质（直言命题变形推理）4．SIP→PIS换位推理
5．SAP→SIP差等关系推理6．﹁SAP→SOP矛盾关系推理
7．SAP→PIS差等关系推理、换位推理8．SAP→
ES换质位法推理
9．
AP→
AS换质位法推理10.SOP→
IS换质位推理
第六题
1．
第一格AAA
2．
第二格AEE
3．MEPΛMAS→SOP第三格EAO式
4：
第四格AAI
第七题
1．所有免费开放的是公益设施。
MAPΛSAM→SAP
2．他的行为是正当防卫。
MEPΛSAM→SEP
3．所有没有文化的军队是不能战胜敌人的。
MA
Λ
AM→
A
4．某甲不是善于思考的学生。
PAMΛSEM→SEP
5．已经灭绝的物种是不适应环境的变化的。
MAPΛSIM→SIP
第八题
1有效。
2无效，大项不当周延。
3无效，大项不当周延。
4有效。
5无效，中项不周延6无效，前两个命题都是否定命题。
7无效，小项不当周延。
8有效。
9无效，大项不当周延10无效，中项不当周延。
11有效。
12无效，大项不周延。
第十题
1．不能。
因为根据三段论的性质，如果每个词项周延两次，则大小前提及结论都为全称否定命题，又根据三段论的基本规则（三）中的“两个前提不能都是否定命题”可知，此如果不成立。
2．PAMΛMAS→SIP
3．特称否定命题
4. A命题
5.PAMΛ SOM→ SOP
6．AOBΛAAC→ COB
6.
A￣M →
EM
EMΛ
AM→
E
→
E
→
AS→
IS→ SI
→ SOP
第十一题
1，反自返关系，对称关系，反传递关系
2，反自返关系，对称关系，非传递关系，
3，自返关系，对称关系，传递关系
4，反自返关系，反对称关系，传递关系
5，反自返关系，反对称关系，传递关系
6，自返关系，对称关系，传递关系
7，反自返关系，非对称关系，非传递关系
8，反自返关系，反对称关系，反传递关系
第十二题
1.SAP→SIP有效2.SAP→ SE
有效
3.SOP→ POS无效4.￢SOP→ SAP有效
5.SIP→ SOP无效6.SAP→ PAS无效
7.￢SAP→ SEP无效8.SEP→
AS无效
9.SOP→ SIP无效10.￢SAP SOP有效
11.￢SAP→ SIP无效12.SAP→
A
无效
13. MOPΛMAS → SOP 有效 14.MAPΛMAS→SIP 有效
15.PAM Λ SEM→ SEP 有效 16.PEMΛ MAS→SOP 有效
17.MAPΛ MIS→ SIP 有效18.SA￣MΛ￣ MIP→ SAP 无效
19. PEM
SAM 有效
SEP
20.PE￣M（PAM）
SEM 有效
SEP
21.MIP
MIS 无效
SIP
22.MAP
SAM 有效
SAP
23.SIM
MAP’有效
SIP’
进而SIP’
P’AP 有效
SIP
24.MAP
SAM 有效
SAP
第十三题
1．（M）E（P）2.（M）A（P）3.（P）A（M）4.（P）（A）（M）
（S）I（M）（S）I（M）S（E）MSO（M）
S（O）PS（I）P（S）E（P）S（O）P
第十四题
1.PAMΛSEM→SOP
将该三段论的大前提先换质再换位再换质；将小前提和结论换质。
经过如此五步推导，就可以得出第一格的AII式，由此判定，该三段式是有效的。
2.MEPΛMIS→SOP
将该三段论的大前提和结论换质；将小前提换位。
经过如此三步就可得出第一格的AII式，由此判定，该三段式是有效的。
3.PAMΛMAS→SIP
首先将该三段论的大前提进行差等关系对当推理，再将大、小前提对调，再将并将结论换位，得出如下三段论式：
MAS
PIM
PIS
这是第一格的AII式，由此判定，该三段式是有效的。
4，PAMΛMES→S
升级会员 