逻导习题【小政研,书上题目的答案】

逻辑导论参考答案（2.3.4.6章）第二章第一题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、全同

第四至六题

4.5.6都为全异关系(图略)

五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小题，其余错误第九题1、

限制：程序法；

扩大：行为规范2、

限制：女审判员；

扩大：司法人员3、

限制：大兴安岭森林；扩大：植物4、

不能限制（单独概念）；扩大：作家第三章

参考答案第一题1.联言P∧q

2.

联言P∧q

3.负命题┐p

4.负命题┐p

5.选言命题p∨q

6.选言命题p∨q

7.必要条件假言¬p→¬q

8.必要条件假言命题q→p

9.等值命题p«q

10.选言命题（P∧q）∨（┐p∧┐q）11.排斥选言┐（p«q）

12.联言P∧q

13.联言P∧q∧r14.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

）→¬r2．p∧[┐（q∨r）∧（¬s∨¬t）]→¬u3.（p∨q

）∧r→¬s∧（t∨u）4.

p∧（q∨r）∧s→t∧s5.

p∨q

→r6.

p∧q∧r∧s∧t7.

（p®q）Ù（p∧s→t）Ù（p∧s→u）8.

（¬p∨q）Ù¬s®¬r第三题

是重言式

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→r

P

②q→s

P

③¬r∨¬s

P

④¬(¬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→q

P

②¬p→¬q

P

③

p∨q

①T

④

p∨¬q

②T

⑤¬p

P

⑥(¬q∧q)

③④

T

⑦p

⑤⑥R.A.A

(3)①p→q∨r

P

②q→¬p

P

③s→¬r

P

④p

P

⑤¬q

②T

⑥q∨r

①④T⑦r

⑤⑥T⑧¬s

③⑧T⑨p→¬s

④⑧C.P

（4）

①p→q∧r

P

②¬q∨¬r∨s

P

③¬(p∧s)

P

④p

P

⑤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：（p®q）Ù¬q®¬p

否定后件

有效

B：（p®q）Ùq®p无效

C：(¬p→¬q)Ùp®q无效

D：（p®q）Ù¬q®¬p

有效

2、

1①

A∨B

P

2②

A→¬C

P

3③

D→E

P

4④

¬C→D

P

5⑤

F∧¬E

P

5⑥

¬E

⑤T

3,5⑦

¬D

③⑥T

3,4,5⑧

C

④⑦T2,3,4,5⑨

¬A

②⑧T1,2,3,4,5⑩

B

①⑨T

所以侦查人员的推断有效。

3、

1①

E→A∨C

P

2②

¬B→¬A

P

3③

C∨¬B

P

4④

¬E→¬D

P

5⑤

D

P

4,5⑥

E

④⑤T

1,4,5⑦

A∨C

①⑥T

2⑧

A→B

②T

3⑨

C→B

③T1,23,4,5⑩

B

⑦⑧⑨C.P

所以这个推理有效

4、

1①

A∨B

P2②

¬A∨¬C

P3③

¬P→¬E

P

4④

¬C→E

P5⑤

¬D

P3,5⑥

¬E

③⑤T3,4,5⑦

C

④⑥T2,3,4,5⑧

¬A

②⑦T1,2,3,4⑨

B

①⑧C.P

所以侦察科长的推理有效

5、

1①

A→¬B

P2②

C∨B

P3③

¬C

P

2，3④

B

②③T1,2,3⑤

¬A

①④T

所以该参谋长的推断有效

第十一题

将简单命题用符号表示如下：

A:X杀死AB:Y杀死AC:X伪造了现场D:我在现场E:我被杀死

推理过程如下：1

①A∨B

P2

②A→C

P3

③D→E

P

4

④┐D→┐C

P5

⑤┐E

P3,5

⑥┐D

③⑤T3,4,5

⑦┐C

④⑥T2,3,4,5

⑧┐A

②⑦T1,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∨C

P2

②┐D→┐A

P3

③D→E

P4

④B→F

P5

⑤┐F∧┐E

P5

⑥┐F

⑤T4,5

⑦┐B

④⑥T5

⑧┐E

⑤T3,5

⑨┐D

③⑧T2,3,5

⑩┐A

②⑨T1,2,3,4,5

⑾C

①⑦⑩T行⑾表明：凶手是丙

第十四题将简单命题用符号表示如下：A：派A去B：派B去C：派C去E：派E去F：派F去推理过程如下：1

①E→A∨C

P2

②┐B→┐A

P3

③C→B

P4

④┐E→┐F

P5

⑤F

P4,5

⑥E

④⑤T1,4,5

⑦A∨C

①⑥T2

⑧A→B

②T1,2,3,4,5

⑨B

③⑦⑧T

行⑨表明：该派B去

第十五题将简单命题用符号表示如下：A：甲是间谍B：乙是间谍C：会议记录被泄露了D：会议召开时有人中途离席E：机要员证词真实F：甲在会场出去打电话了推理过程如下：1

①A∨B

P2

②┐A∨┐C

P3

③┐D∧F

P4

④E→C

P5

⑤D∨E

P3

⑥┐D

③T3,5

⑦E

⑤⑥T3,4,5

⑧C

④⑦T2,3,4,5

⑨┐A

②⑧T1,2,3,4,5

⑩B

①⑨T

行⑩表明：结论为B：乙是间谍

第十六题：1

①¬B→¬A

P2

②¬C→¬B

P3

③D→E

P4

④A∨D

P5

⑤¬C

P1

⑥A→B

①T2

⑦B→C

②T1,2

⑧A→C

⑥⑦T1,2,5

⑨¬A

⑤⑧T1,2,4,5

⑩D

④⑨T1,2,3,4,5

（11）E

③⑩T

第十七题：以“F”表示必须从7人中挑选4人；以“f”表示只能从7人中挑选4人。

1

1F˄f

P

2

2R→T

P

3

3S→U

P

4

4XÙY→¬T

P

第一小题：选④U

以“F”表示必须从7人中挑选4人；

以“f”表示只能从7人中挑选4人。

1

1F˄f

P

2

2R→T

P

3

3S→U

P

4

4XÙY→¬T

P

5

5XÙY

P

4,5

6¬T

4,5T

2,4,5

7¬R

2,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

1

1F˄f

P

2

2R→T

P

3

3S→U

P

4

4X˄Y→¬T

P

5

5S˄Z

P

5

6S

3T

3,5

7U

3,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

1

1F˄f

P

2

2R→T

P

3

3S→U

P

4

4X˄Y→¬T

P

5

5¬U

P

3,5

6¬S

3，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.A鸟卵生脊椎动物周延不周延2.A月球上

没有生物的

周延，不周延3.E金属非导体周延周延4.A这个困难可以克服周延不周延5.O金属固体不周延周延6.A商品劳动产品周延不周延7.E无罪的人适用免予起诉周延周延8.O中毒死亡者自服中毒不周延周延9.I我们当中有人不赞成方案不周延不周延10.A困难可以克服周延不周延

二、SIPSEPSOPSAPSOPPOS

三、

1．SAP→SIP

有犯罪行为是违法行为¬SAP→SOP

有违法行为不是犯罪行为SEP→SOP

有侵略战争不是正义的

¬SEP→SIP

有战争是正义的SIP→¬SEP

并非所有律师都不是政法大学的毕业生¬SIP→SEP

诈骗罪都不是过失犯罪SOP→¬SAP

并非凡被告都是罪犯¬SOP→SAP

凡贪污罪都是故意犯罪

四、

1．题干：¬SAP（1）真

¬SAP→SOP对当关系推理（矛盾）（2）真假不定¬SAP

SEP对当关系推理（反对）（3）假

¬SAP→SOP→SI→IS→O→¬A

对当关系推理（矛盾）,换质，换位，换质，对当关系推理（矛盾）（4）真

¬SAP→SOP→SI

对当关系推理（矛盾）,换质2题干：SIP真(1)

真假不定

SIP

SOP对当关系推理（下反对）（2）

真假不定

SIP

SAP对当关系推理（差等）（3）

假

SIP→¬SEP

对当关系推理（矛盾）(4)

真假不定

SIP→PIS→PO→¬PA

PI

→IP换位，换质，对当关系推理（矛盾），对当关系推理（差等），换位3题干：SI«SOP为假(1)

假

¬SOP→¬SEP

对当关系推理（差等）(2)

真

¬SOP→SIP

对当关系推理（下反对）(3)

真

SO→SIP,

¬SOP→SIP换质，对当关系推理（下反对）（4）

真

¬SOP→SAP

对当关系推理（矛盾）4题干：SAˉP→SEP(1)

真假不定

SEP→PES→PA

→IP

AP换位，换质，对当关系推理（差等），对当关系推理（差等）（2）

假

SEP→¬SAP→¬SE对当关系推理（反对）,换质（3）

假

SEP→¬SIP→¬SO

对当关系推理（矛盾）,换质（4）

真

SEP→SOP

对当关系推理（差等）

五、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．

第一格AAA2．第二格AEE3．MEPΛMAS→SOP

第三格EAO式4：第四格AAI七、1．所有免费开放的是公益设施。MAPΛSAM→SAP2．他的行为是正当防卫。MEPΛSAM→SEP3．所有没有文化的军队是不能战胜敌人的。

MAΛAM→A4．某甲不是善于思考的学生。PAMΛSEM→SEP5．已经灭绝的物种是不适应环境的变化的。MAPΛSIM→SIP

八、1有效。2无效，大项不当周延。3无效，大项不当周延。4有效。5无效，中项不周延。

6无效，前两个命题都是否定命题。7无效，小项不当周延。8有效。

9无效，大项不当周延。10无效，中项不当周延。

11有效。

12无效，大项不周延。

九、（略）

十、1．不能。因为根据三段论的性质，如果每个词项周延两次，则大小前提及结论都为全称否定命题，又根据三段论的基本规则（三）中的“两个前提不能都是否定命题”可知，此如果不成立。2．PAMΛMAS→SIP3．特称否定命题4.

A命题5.

PAMΛ

SOM→

SOP6．

AOBΛAAC→

COB6.

A￣M

→

EMEMΛ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

有效