资源描述
【精品文档】如有侵权,请联系网站删除,仅供学习与交流逻辑学答案.精品文档.中国人民大学逻辑学参考答案第二章一、判定下列断定的正误:1、错,因为属性是对象的性质以及对象间关系的统称。2、错,一类对象共同具有的属性是固有属性,不一定是本质属性。3、正确。4、错,因为任何概念都有外延,空概念的外延是空集合,而不是无集合。5、错,因为同一个概念可以有不同的内涵,因而可以有不同的正确定义。6、错。对正概念下定义不能使用否定句,对负概念下定义可以使用否定句。7、错。只有具有属种关系的概念外延之间,才存在内涵与外延的反变关系。二、运用本章的相关知识以及相关常识,回答下列问题:1、不正确。定义过宽。正确的例子:平反就对无罪而判有罪的案件进行纠正。2、不正确,定义过宽。正确的例子:科学理论是由科学概念、科学原理和推论组成的具有可检验性的系统化的知识体系。3、不正确,“勇敢”和“勇敢的战士”之间不存在属种关系。正确的例子:战士的勇敢。4、不对。“喜马拉雅山”和“珠穆朗玛峰”之间不存在属种关系。正确概括的例子:山。三、1 C;2,ABC;3,A;4,A;5,B;6,BC;7,B;8,B;9,BC,10,AC。四、下列各题中括号内的话,是从内涵方面,还是从外延方面说明标有横线的概念的?1、“人们在社会”从内涵方面说明“社会关系”,“包括经济、政治”从外延方面说明“社会关系”。2、“交流思想的工具”从内涵方面说明“语言”;“记录语言的符号”从内涵方面说明“文字”。3、“用各种纤维”从内涵方面说明“纺织品”;“棉纺织品、麻纺织品、丝纺织品、天然纺织品、化学纤维纺织品”以及“人造”从外延说明“纺织品”。4、“带有原理”从内涵说明“经”;“周易”从外延说明“十三经”。5、“由于地球”从内涵说明“地震”;“火山地震”从外延说明“地震”;“地下深处”从内涵说明“震源”;“地面上”从内涵说明“震中”。6、“林木和林地”从外延说明“森林资源”;“防护林”从外延说明“森林”。五、从概念的两种分类角度(单独与普遍、正与负)说明下列各题中标有横线的概念属于哪一种类。1、普遍、正2、孔乙己:单独、正;作品:普遍、正。3、普遍,负。4、中国女子排球队:单独,正;世界冠军:普遍,正。5、单独,正。6、普遍,正。六、下列各题中标有横线的语词是在集合意义下使用的,还是在非集合意义下使用的?1、集合。说明:干部这个集体由来自五湖四海的个体组成,个体不可能来自五湖四海。2、非集合。说明:因为每一个人都享有广泛的民主和自由。3、非集合。 说明:每个人都应当有自知之明。4、集合。说明:指中国人这个集体具有不怕死的属性。5、(1)集合;(2)非集合;(3)非集合。6、非集合。7、集合。说明:一般物种概念都是集合概念。七、下列各组概念是什么关系?1、属种关系(真包含)。2、全异(相关不相容:对立关系)。3、交叉。4、种属关系(真包含于)。5、全异(不相关不相容关系)。6、全异(相关不相容:矛盾关系)。7、全同。8、全异(相关不相容:对立关系)。八、用欧拉图表示下列各题中标有横线的概念之间的关系:1、CDAB2、ABC,D3、BDAC4BDAC5BDAC九、用欧拉图表示下列各题中概念之间的关系:1A C B D 2A C B D E 3A C B 4A D B C 5司法干部 青年 干部6、ABC7、ABC8D B A C 九,9毫米厘米分米米十、对下列概念各作一次概括和限制。1、脑力劳动者:概括为劳动者,限制为科学家。2、限制为“七律”,概括为“文学形式”。3、限制为“公牛”,概括为“哺乳动物”。4、限制为“美国”,概括为“国家”。5、限制为“发动机”,概括为“工业产品”。6、限制为“中国历史学”,概括为“科学”。十 一、下列概念的概括和限制是否正确?如果不正确,请说明理由并加以改正。1、限制正确,概括错误。因为学生不是知识分子的种概念,例如小学生不是知识分子。2、限制错误,概括。勇敢限制为勇敢的人是不正确的,因为勇敢是人之品德,勇敢的人是人,不是品德,所以,勇敢的人不是勇敢的种概念。3、限制正确,概括错误。违法行为概括为犯罪行为是错误的,因为犯罪行为是违法行为的种概念,而不是相反。4、限制错误,概括正确。军队限制为人民战士是不正确的,因为人民战士不是军队的种概念,不具有军队的属性。应限制为某一相对具体的军队,如海军、美军等。5、限制与概括都是错的。喜马拉雅山脉概括为山脉是正确的,而是限制为山脉是错误的;喜马拉雅山脉是山脉,而不是山峰,所以,不能概括为高峰。此外,喜马拉雅山脉是单独概念,不能再进行限制了。6、限制与概括均正确。十 二、下列连续限制或连续概括是否正确?为什么?1、不正确,因为全国人大、省人大、县人大、乡人代会之间不是属种关系。2、“中国北方最大的城市”概括为“中国最大的城市”不正确,因为北方最大城市与中国最大城市之间不是前者包含或包含于后者的关系。其余正确。3、不正确,因为四者之间非同类事物,一为洲,二为国,三为省,四为市,全异也。另外,四者均为单独概念,而单独概念是不能限制的。4、洪秀全限制为青年时代的洪秀全错误,因为单独概念不能限制。其余均正确。十 三、下列判断作为定义是否正确?如不正确,请说明它违反了哪条定义规则。1、错误。定义过宽。2、错误,违反了定义项与被定义项的外延应当是全同关系的规则,定义过窄。3、错误,违反了定义用语应当清楚明白的规则,定义不能使用比喻方法。4、正确。5、错误,违反了定义项中不能直接或间接包含被定义项的规则,犯了循环定义的错误。十四1、定义过宽;2、定义过窄;3、定义过窄;4、定义过宽。十五1、定义过宽;2、错误,对正概念下定义不能使用否定句。3、定义过宽,并且使用了含混语词(“完全安宁状态”是什么意思?)。十 六、下列语句是否语词定义?如是语词定义,属于哪一种?1、是,规范;2、是规范;3、不是语词定义;4、是,说明。十七、下列各题是不是划分?为什么?1、不是划分,这是分解。2、是。3、是。4、不是划分,是分解。十 八、下列各题作为划分是否正确?请说明理由。1、错误。“文学作品可分为”划分不全;“小说有长篇现代小说”混淆根据;“诗歌讽剌诗”混淆根据;“戏剧有”混淆根据。四者也同时犯了子项相容的错误。2、错误。祖你母、兄弟和姐妹都不是直系亲属,犯了划分过宽或多出子项的错误。3、错误。犯了混淆根据和子项相容的错误。4、正确。十九、1B, 2E, 3A, 4A(于衍平整理2001年11月3日,07年4月和11年4月19日修订)第三章一、1、正确2、错误.命题逻辑中的复合命题,不仅必须包含与自身不同的支命题,而且须满足,其支命题的真值可以唯一地确定自身的真值。3、正确。4正确。5正确。6. 错误。7. 错误。8. 正确。9. 错误。二、pqpqpq1111100001110011三、解:先把原则符号化:1. PS2. 只有D,才G3. AC4. DR5. 只有R,才C6. AP7. S(TQ)8. RF9. G根据上面的9条规则,构造以下推导步骤:(1) 由2和9,得D(2) 由(1)和4,得R(3) 由(2)和5,得C(4) 由(3)和3,得A(5) 由(4)和6,得P(6) 由(5)和1,得S(7) 由(6)和7,得TQ(8) 由(7)得T和Q(9) 由(2)和8,得F综上所推,得A、C、R和G上场;F、Q、T、S、P和D均不上场。四、1A,2E,3D,4C,5A五、1B,2AB,3AC,4ABCD,5AB,6A,7A,8A,9AC,10ABCD六、1必要条件2充分条件3不构成条件关系4充要条件5必要条件七、写出下列复合命题的负命题的等值命题。1.这个商店的产品或者不价廉,或者物不美。2.昨晚小张和小李都不值班。3.人大胆,但地不高产。4.经济不发达地区也有环境治理问题。5.或者老张和老李都当选,或者老张和老李都不当选。6.或者衣食足但不知荣辱,或者衣食不足但知荣辱。7不认识字母也能学好外语。8不吃巧克力也长得好。八、写出下列复合命题的真值形式。1. 用p表示看电影,用q表示看展览,用r表示去游泳:(pq)( (pq)r)2. 用p表示天晴,用q表示不加班,用r表示去游泳,用s表示去划船:(pq)(rs)3. 用p表示科学家预见是正确的,用q表示我们不从现在起重视环境保护,r表示人无法在地球上生存:p(qr)4. 用p表示吸烟,q表示吐痰,r表示弃物,s表示罚款:pqrs九、用真值表方法判定下列真值形式的类型。1、(p(qq)ppqqqp( qq)(p(qq)p11001100010101100011答:该式是重言式。2、(pq)( pq)pqpqpqpq(pq)( pq)1100100100111101101000011001答:该式为非重言的可真式。3、(pq)p)q)pqpqpq(pq)p(pq)p)q)1100101100100101101100011111答:该式为非重言的可真式。十、运用有关规则,判定下列命题推理是否有效。1、无效。相容选言推理不能在前提中肯定一部分选言支,而在结论中否定其余选言支。2、无效。因为调查研究是有发言权的必要条件。必要条件假言推理中,不能在前提中肯定前件,而在结论中肯定后件。3、无效。因为患肝炎是出现厌食的充分条件。充分条件假言推理中不能肯定后件而肯定前件。4、有效,充分条件假言推理的否定后件否定前件式。十一、分别用真值表方法和归谬赋值法判定下列推理的有效性。1、 用p表示“运动着的物体某一瞬间在这儿。”,则这两个推理可表示为:(推理一) (pp)(pp) (推理二) (pp)(pp)证明一:用真值表法:pppppp(pp)(pp)(pp)(pp)(pp)10000110110001证明结果:推理一不是有效的,推理二是有效的。证明二:用归谬赋值法:先证推理一:(p p) ( p p)010说明:第一步:假设推理假。第二步:由上一步得出前件真,后件假。蕴涵式右边要求p与p至少有一假,不能同真;蕴涵式左边真可分为三种情况:或者p与p同真,或者p与p同假,或者 p真p假,后两种情况与右边的要求不冲突。所以,假设有可能成立,推不出矛盾。结论:推不出矛盾,所以该真值形式为假是可能的,即该推理不是有效的。推理二的证明:(Pp)(pp)010001 说明:第一步设推理为假。第二步,从上一步得出前件真,后件假。第三步,从上一步右边得出p或p假。而左边的p与p或同真,或同假。依右边的情况,左边只能同假,不能同真。结论:推出矛盾,因而假设该推理假不能成立,所以,推理是有效的。2、 用p表示“保持安定局面”,用q表示“发展经济”。推理可表示为:(pq)(pq) 证明一:真值表法:pQpq(pq)pq(pq)(pq)110111100111011001000111结论:该推理是有效的。证明二:用归谬赋值法(pq)(pq)0100100101结论:推出矛盾pp,故推理有效。十二、分别求下列真值形式的合取范式和析取范式,并确定它们的真值类型。1. (pq)(pq)解: 消去: (pq)(pq) (pq) (pq) 内移: (pq)(pq) 上式本身就是一个析取范式: (pq)(p)q求合取范式, 用析取分配率, 得: (ppq)(qpq) 结论:从合取范式看, 该式为重言式. 2. (pq)(pq)解: 消去: (pq)(pq)(pq)(pq) 内移: (pq)(pq)(pq)(pq) (1) 求合取范式, 用析取分配率: 把左数第二个的左边分配给右边,得: (pq)(pq) (pq) (pq)(pq)( pq)把左数第二个和右数第一个再分别进行析取分配,得:(pq)(pq)(pq)(pq)(pq)( pq)(pq)( pq)最左边和最右边再进行析取分配: (ppq)(qpq)(pqpq) (pq)( pq)(pqp)(pqq)右数第五个左分配给右:(ppq)(qpq)(pqpq)(pq)p)(pq)q)(pqp)(pqq)右数第五个和第七个,右边分配给左边:(ppq)(qpq)(pqpq)(pp)(qp)(pq)(qq)(pqp)(pqq) (2)求析取范式, 对(1)式用合取分配率: 左数第二个左边分配给右边, 右数第二个右边分配给左边: (pqp)(pqq) (ppq) (ppq)整理后,得: (pqp)(pqq)(ppq)(ppq) (3)结论: 从(3)式看出, 该式为矛盾式.3. q(pq)p)解: 消去: q(pq)p) q(pq)p) q(pq)p) 内移: q(pq)p (1) 求合取范式, 用析取分配率: (qpp)(qqp) (2) 求析取范式, 对(1)式去括号, 得析取范式: q(pp)p (3)结论: 从合取范式直观地判定该式为重言式。4. (q(pq)p解:消去:(q(pq)p (q(pq)p (qp)p 内移: qpp (1) 求合取范式,用析取分配率:(qp)(pp) (2)(1) 式本身就是一个析取范式。 结论:该式既不是重言式,也中是矛盾式,所以,它是一个非重言的可真式。十三用范式方法判定下列推理是否有效。解:首先,把推理用真值形式表示: 设p表示“上帝创世说的故事是真实的”,q表示“地球存在的头三天就没有太阳”,r表示“天是用太阳来定义的”。 则推理表示为: (pq)r(rq)p证明:求合取范式。消去:(pq)r(rq)p 内移:(pq)r(rq)p进行析取分配:(pr)(qr)(rp)(qp) (pr) (rp)(qp)(qr) (rp)(qp)(pr rp)( prqp)(qrrp)(qrqp)结论:因其合取范式为重言式,所以,该推理是有效的。十四构造自然推理,判定下列推理的有效性。1首先,把推理翻译为真值形式:p表示“小张去春游”,q表示“小李去春游”,r表示“小王去春游”。证明:(1) (pq) r P(2) p P(3) pq T,(2)(4) (pq) T,(3)(5) r T,(1),(4)结论:该推理是有效的。2翻译:p表示“L上有无限多点”,q表示“点有长度”,r表示“L无限长”,s表示“L没有长度”。证明:(1) p(qr)(qs) P(2) rs P(3) p P(引入的假设)(4) (qr)(qs) T,(1),(3)(5) qr T,(4)(6) qs T,(4)(7) r T,(2)(8) s T,(2)(9) q T,(5),(7)(10) q T,(6),(7)(11) qq T,(9),(10)(12) p 归谬规则,(3),(11)结论:推理有效。3翻译:p表示“谈判要举行”, q表示“定于周三”,r表示“定于周五”,s表示“总经理出席”。证明:(1) pqr P(2) rs P(3) s P(4) q P(引入的假设)(5) p P(引入的假设)(6) qr T(1),(5)(7) r T(2),(3)(8) q T(6),(7)(9) qq T(8),(4)(10) p 归谬规则(5),(9),消去(5)(11) qp D(4),(10),消去(4)。结论:该推理是有效的。十五运用命题逻辑的知识,解答下列问题。1题目给出的条件:(1) (1) 四六,(2) (2) 一三,(3) (3) (三六)(三六)(4) (4) 九12四(5) (5) 一12进一步分析:(6) (6) 一 (5)(7) (7) 三 (6)和(2)(8) (8) 六 (3)和(7)(9) (9) 四 (8)和(1)(10) (10)(九12) (4)和(9)(11) (11)九12 (10)(12) (12)12 (5)(13) (13)九 (12)和(11)结论:9号不应该上场。2四人的话表示为:(1) 甲:甲乙(2) 乙:乙丙(3) 丙:甲乙(4) 丁:甲丙上面四句话只有一句是真的。分析:因为甲和丙的话相矛盾,故说真话的人是其中之一。而且得知,乙和丁说假话,则他们的话的否定是真的,即: (5)乙丙 (6)甲丙由(6)得知,甲和丙均未作案,推理格式为: 甲丙 甲 甲丙 丙所以,结合(5),可知,乙作案。推理格式如下: 乙丙 丙 乙所以,甲说真话。结论:乙作案,甲说真话。3分析后,构造如下二难推理得出结论:若是一伙人作案,甲作案(因为乙不单独作案,丙作案甲必作案);若是一个人作案,甲也作案(因为乙和丙都不会单独作案);或者一个人作案,或者一伙人作案。 总之,甲作案。4这个骑士说:我不是富有的骑士。5智者问:另一个士兵将如何回答,他手里拿的是毒酒还是美酒这个问题?6 选派小方,不选派小王。7甲和乙是罪犯。丙是否为罪犯不能确认。8甲关于A当上了律师的猜测不能成立,因为否则丙的两个猜测都不成立。因此,甲关于B当上法官的猜测成立。由此可推出:C当上了律师,A当上了检察官。9乙和丁都没有参加考试。10若(3)真,则(1)、(2)都真。所以,(3)假。所以,(1)与(2)的前件至少有一个是真,所以,后件至少有一个是真的。11C是谋害者。12乙是凶手。13A、B和E未进入,C和D进入。14乙第二,丙第三,丁第一,甲第四。15小周和小陈学日语,小刘不学日语。第四章答案一、判定下列断定的正误:1. 不对。直言命题是断定对象有无某种性质的命题。2. 不对。主项与谓项称为词项,量项和联接项不是词项。3. 不对。“有的S是P”的含义是“存在S是P,不排除所有S是P的可能性”。4. 不对。有的时候对当关系并不能得出确定的结论。5. 正确。因为两个单称命题之间的关系是矛盾关系,而不是反对关系,与全称命题不同。6. 不对。下反对关系是“不能同假,可以同真”。从一个命题的假能推出另一个真,但是不能从一个命题的真推出另一个命题为假。7. 对。8. 不对。大前提是包含大项的前提,小前提是包含小项的前提。9. 不对。前提中周延的项,在结论中可能周延,也可能不周延。10. 不对。结论特称,两个前提也可能全称。11. 对。二、在下列括号中填入适当的语词。1、主项、谓项、量项、联结项、联结项、量项。2、非党员3、全称命题的主项与否定命题的谓项,特称命题的主项与肯定命题的谓项4、特称肯定命题、特称否定命题、真假不定、必真三、简答下列问题:1、直接推理由两个命题组成,间接推理由三个及三个以上的命题组成。2、因为前提中S不周延,但是在结论中是否定命题的谓项,变成周延的,违反了规则,所以SOP不能换位。3、一类对象的全部,是什么或不是什么,那么,这类对象中的部分对象,也是什么或不是什么。4、因为两个否定的前提分别把大小项与中项分离开来,于是,中项不能在大小项之间建立联系,所以,得不出大小之间的确定性关系。四、指出下列语句属何种直言命题,并写出其公式(如是负命题,则写出与其等值的命题)。1. 全称肯定,SAP。2. 全称肯定,SAP。3. 特称肯定,SIP。4. 特称肯定,SIP。5. 特称否定,SOP。6. 全称否定,SEP。7. 全称肯定,SAP.8. 全称否定,SEP.9. 全称否定,SEP.10. 全称肯定命题的负命题SAP,等值命题为特称否定,SOP.11. 特称肯定,SIP。12. 全称否定命题的负命题:SEP,其等值命题为特称肯定命题,SIP。五、指出下列直言命题主、谓项的周延情况(如果直言命题不规范,请先将其规范为典型的直言命题)。1. 主项周延谓项不周延。2. 主项周延谓项不周延。3. 主项周延谓项不周延。4. 主项周延谓项周延。5. 主项不周延谓项周延。6. 主项不周延谓项不周延。7. 有些各行各业中的干部是不称职的干部。主项和谓项都是不周延的。8. 所有金属都是导电的。主项周延,谓项不周延。9. 有些社会现象不是有阶级性的。主项不周延,谓项周延。10. 所有水稻都不是多年生植物。主谓项都周延。11. 有些新闻系毕业生不是当记者的。主项不周延,谓项周延。12. 有些出席会议的人不是大学毕业的。主项不周延,谓项周延。13. 有的干部不称职。主项不周延谓项周延。六、已知下列直言命题的真假,根据对当关系确定素材相同的其余三个直言命题的真假情况。1已知A真,则E假,I真,O假。2已知A假,则E不定,I不定,O真。3已知E真,则A假,I假,O真。4已知E假,则A不定,I真,O不定。5已知I真,则A不定,E假,O不定。6已知I假,则A假,E真,O真。7已知O真,则A假,E不定,I不定。8已知O假,则A真,E假,I真。七、已知下列命题为真,根据对当关系,指出素材相同的其余三个命题的真假(如果是负命题,先转化为典型的直言命题)。1此为A命题,E假,I真,O假。2此为I命题,E假,A与O不定。3此为E命题,A假,I假,O真。4此为O命题,A假,E和I不定。5此为A命题,E和O假,I真。6此为E命题,A假,I假,O真。7此命题等值于“所有乘客都不是大学生”,E命题,则A假,I假,O真。8此命题等值于“所有同学都不是会下国际象棋的”,E命题,A假,I假,O真。9此命题为“有的司法工作者不是律师”,O命题,A假,I与E不定。八、已知下列命题为假,根据对当关系指出素材相同的其余三个命题的真假情况。1此为A命题,E(商品都不是质量好的)不定,I(有商品是质量好的)不定,O(有商品不是质量好的)真。2此为I命题,A(金属都是绝缘体)假,E(金属都不是绝缘体)真,O(有的金属不是绝缘体)真。3此为E命题,A(蛇都是有毒的)不定,I(有的蛇是有毒的)真,O(有的蛇不是有毒的)不定。4此为O命题,A(所有哺乳动物都是脊椎动物)真,I(有哺乳动物是脊椎动物)真,E(所有哺乳动物都不是脊椎动物)不定。5此为A命题,E(所有质数都不是奇数)不定,I(有质数是奇数)不定,O(有质数不是奇数)真。6此命题为A,E命题“所有价高的商品都不是质地优良的商品”真假不定。I命题“有的价高的商品是质地优良的商品”真假不定。O命题“有的价高的商品不是质地优良的商品”真。7此命题为E命题,A命题“所有生产资料都是商品”不定。I命题“有生产资料是商品”真。O命题“有生产资料不是商品”不定。8此命题为I命题。A命题“所有的蛇是无毒的”假。E命题“所有的蛇不是无毒的”真。O命题“有的蛇不是无毒的”真。9此命题为A命题。E命题“人人都没有自行车”不定。I命题“有的人有自行车”不定。O命题“有的人没有自行车”真。10此为A的负命题,等值于O命题,A(乘客都是大学生)真,E(乘客都不是大学生)假,I(有乘客是大学生)真。九、根据对当关系选择相关的判断驳斥下列判断。1. 有的社会现象示是有阶级性的。2. 所有的鲸都是哺乳动物。3. 所有天才都不是生而知之者。4. 有的自学不是不能成才的。5. 有的能言善辩的人是老实人。十、指出下列各组命题的真假关系:1. 矛盾关系2. 下反对关系3. 反对关系4. 从属关系5. 反对关系十一、根据对当关系真接推理,从以下前提出发,能否推出相应的结论。1 推不出,因为A与E为反对关系。2 推不出,因为I与O为下反对关系。3 能推出。从属关系。全称真,则特称真。4 推不出。从属关系,特称真得不出全称的结论。5 能推出。从属关系,特称假则全称假。6 能推出。矛盾关系,一个假,可推出另一个真。7 推不出,反对关系不能从一个真推出另一个真。十二、在对当关系中1 因为SAPSEPSIP;APSOP,得不出SIP的真值。所以,SAP与SIP为从属关系,同理可证SEP与SOP也是从属关系。2 因为SAPOPSIPEP,而APSOP,得不出SEP的真值;同样,SEPIPSOPSAP,且SEP假时,SAP不定。所以,SAP与SEP是反对关系。3 不能。4 不能。十三、对下列命题进行换质,并用公式表示换质过程。1 SEPSA。2 SOPSI3 SEPSA4 SIPSO5 SAPSE6 SIPSO7 SOPSI8 SEPSA9 SAPSE十四、下列命题能否换位?如能,请进行换位,并用公式表示换位过程。1 不能2 SIPPIS3 不能4 SEPPES5 SEPPIS6 不能7 SAPPIS8 不能9 SIPPIS10 SAPPIS11 SEPPES十五、根据命题变形推理规则,判定下列推理是否成立。1成立:EPAI。S表示搞阴谋诡计的人。2成立:SAPSEES。3成立:SAPPIS。S表示不劳动者,P表示不得食者。4(1)SAPPAS不成立:SAPPIS,推不出PAS;(2)SAPI成立:SAPSEPESAI。(3)故,SAPPASI成立。5(1)不成立,因为前提SAP中的P不周延,结论SOP中的P周延,违反变形推理规则,故SAP推不出SOP。(2)成立,SAPSEES。(3)不成立,因为前提中SAP中的P不周延,而结论PAS中的P周延,违反变形推理规则,故推不出。6用换质位法得:,依属从关系,也成立。7推不出:SAPSEESAIOP,结果与要求的结论矛盾。8正确。SOPSIISPO9正确。SIPPISPO10(1)推不出。SAPPIS,推不出PAS。(2)正确。SAPSEESA。11推不出。SAPPIS,推不出PAS。12(1)有的形式正确的推理是正确的推理。推导过程:SAPPIS。(2)有的不正确的推理是非形式正确的推理。推理过程:SAPSEESAI。十六、略十七、略十八、1 违反了中项至少周延一次的规则。2 违反了前提中不同周延的项在结论中也不得周延的规则,犯了大项不当周延的错误。3 正确。4 违反了两个特称前提推不出必然结论的规则。5 正确。6 违反了两个特称前提推不出必然结论的规则。7 违反了两个否定的前提得不出必然结论的规则。8 违反了中项至少周延一次的规则。以下略。十九、在前提与结论中的括号内填入适当的符号,使之成为有效的三段论,并说明理由。1(M)E(P)SA(M)S(E)P2(M)AP(S)I(M)SIP3(P)A(M)S(E)MSEP4P(I)M(M)A(S)SIP5(M)E(P)M(I)SSOP二十、运用三段论的规则回答下列问题1推不出,因为中项不周延。2推不出,因为中项不周延。3不能。因为都周延,就要求三个命题都是否定的,但是两个否定的前提提不出必然结论。故三个词项不能都周延两次。6PAMSOMSOP7全称肯定。因为小前提主谓项都不周延,因而是特称肯定命题,根据两个特称前提得不出必然结论的规则,得知大前提不能是特称命题;又因为大前提有一项周延,又不能是特称否定命题,故只能是全称肯定命题。8根据第一格的规则,大前提和小前提的组合有以下四种,它们对应的结论如下表:大前提小前提结论AAA,IAIIEAE,OEOO二十一、证明题证明:根据大前提特称,依规则“两个特称命题得不出必然结论”,推出小前提全称。根据大前提特称,依“一前提特称,结论特称”,推出结论特称。假设小前提否定,依“一前提否定,则结论否定”,得出结论为特称否定,因而结论中的大项周延。依“前提中不周延的项结论中也不得周延”,推出大前提中的大项也须周延,因而大前提只能是否定命题,并且大项处于谓项。但是,“两个否定的前提得不出必然结论”,所以,假设错误,即小前提必须是肯定的。所以,小前提是全称肯定命题。证明:根据结论是命题,得知,结论中的大、小项都周延,依“前提中不周延的项结论中也不得周延”,前提中的大、小项都必须周延。又因为“中项在前提中至少要周延一次”。所以,前提中四个项,有三个须周延(不可能四个都周延,否则两前提都是命题)。要保证三个项周延,有三种式可以选择:、和。其中只有组合是正确的,和都违反规则。所以,前提必然是一个命题和一个命题。证明:根据小前提是命题,依“一前提否定,则结论否定”,推出结论为否定命题,则结论中的大项周延。依“前提中不周延的项结论中也不得周延”,推出大前提中的大项必须周延。因小前提是命题,依“两否定前提推不出必然结论”,得大前提必然是肯定命题。所以,大前提只能是命题,并且大项在主项位置。所以,大前提必须是命题。证明:小前提为命题,依“结论否定,则有一前提否定”规则以及第一格规则“小前提肯定”,推出大前提否定。依第一格规则“大前提必须全称”,所以,大前提只能是命题。证明:第一格形式为:()()()假设:小前提否定。依“一前提否定,则结论否定”,由假设可推出结论否定,因而结论中的大项周延。依“前提中不周延的项在结论中不得周延”的规则,大前提中的大项也须周延。因第一格大前提的大项在谓项位置上,所以,大前提须否定。结果推出两个否定的前提。依“两否定前提得不出必然结论”,推出假设错误。所以,小前提肯定。6证明:一个三段论结论为否定命题,则其大项在结论中周延,根据规则(二)知它在前提中也要周延,而一个I命题其主项和谓项皆不周延,因此如果它是一个正确的三段论,则此时其大前提不能是I命题。7证明:由A和B可正确地推出“所有精通英语的都不精通逻辑”,这一结论与C是矛盾关系,所以,C必假。8证明:由三段论的规则知A与B至多有一个为否定命题。若A与B皆为肯定命题,则结论已成立;若A与B有一个为否定命题,则结论C应为否定命题,而D是与C相矛盾的直言命题,则D应是肯定命题,因此A、B、D中有两个为肯定命题,结论亦成立。9如果B为肯定命题,则D应为否定命题。此时若A亦为肯定命题,则C应为肯定命题,这样“DAC”就违反了规则(四)。若A亦为否定命题,则C亦应为否定命题,这样“DAC”就违反了规则(三)。如果B为否定命题,则D应为肯定命题并且A只能是肯定命题,这样“DAC”就违反了规则(五)。综上,“DAC”不是有效的三段论式。10推理变为规模的形式:所有商品者是有价值的,有的劳动产品不是商品,所以,有的劳动产品不是有价值的。这是一个AOO式的三段论,不是有效的推理,因为大项不当周延。11-14略15 证明:由PES和SIM推出MOP.由MOP和MOPSIP推出SIP.因为SIP与PES矛盾,所以,同时肯定这三个命题违反矛盾律。16 3式分别否定了1式和2式的后件,所以,得到它们前件的否定:并非“P不真包含于M”,并非“S不与M交叉”,即P真包含于M,S与M交叉。M与P、S与M之间的关系分别如下图表示:MPSM从中可看出:第一, S与P也不是全同关系,因为P真包含于M,而S与M是交叉关系;第二, S不可能真包含于P,因为S有一部分在M之外,而P真包含于M。S与P之间不是全同、全异、真包含和交叉关系,所以,只能是真包含于关系。17略二十二、略。二十三、判定下列文字中有无三段论,如有,请整理出来(如是省略式,则将省略部分恢复起来),并分析是否有效。1. 真理是不怕批评的,科学是真理,所以科学是不怕批评的。有效。2. 有两个三段论。(1)凡是超过群众觉悟程度的总是错误的;命令主义超过了群众的觉悟程度;所以,命令主义是错误的。(2)凡是落后于群众觉悟程度的总是错误的;尾巴主义落后于群众觉悟的程度;所以,尾巴主义是错误的。两个推理正确。3、 有一个三段论:前沿科学家都是懂得数学语言的,有些老年科学家不懂得数学语言;所以,有些老年科学家不能在前沿科学取得成就。有效。4、 凡是有水生生物化石的地层都是地质史上的古海洋地区,喜马拉雅山脉有水生生物化石,所以,喜马拉雅山脉是古海洋地区。有效。人民大学逻辑学第五章习题答案三、根据所给出的谓词的定义,把下列符号表达式翻译成通顺的自然语言语句。1. 有的美国科学家是黑人。2. 所有年满18岁的公民都有选举权和被选举权。3. 并非所有的鸟都会飞。4. 所有人有都有不懂得的知识。5. 所有不自尊的人都不会有人尊敬他。四、根据所给出的谓司的定义,把下列自然语言语句翻译成符号表达式。1. x(Sx Cx)2. x(Sx Px)3. x(Cx Sx) $y(Cy Sy)4. x(Fx Gx)5. x (Px $yFyx) $x(Px ySyx)6. x(LxSxy(HyBxy)7. x(SxTxWx)$x(TxWxSx)8. x(PxBxxBax)9. $x(Mx y(Ey Lxy)10. $x(Mx(OxHx)五、构造自然推理,判定下列推理的有效性1(1) x(MxCxGx) P(2) $x(MxCx) P(3) MaCa (2)$-(4) MaCaGa (1)-(5) Ma (3)T,联言分解式(6) CaGa (4),(5)T,充分条件假言推理的肯定前件式(7) Ga (3)T,联言分解式(8) Ca (6),(7)T,选言推理的否定肯定式。(9) MaCa (5),(8)T,联言推理合并式(10) $x(MxCx)(9)$+2(1) x(SxFx)P(2) x(SxFx)P /$xSx(3) $xSxP(引入的假设)(4) Sa(3)$-,根据前提3(5) SaFa(2)-,根据前提2(6) Fa4,5,T规则(肯前肯后),根据前提1和3(7) SaFa(1)-,根据前提2(8) Fa4,7,T规则(肯前肯后),根据前提2和3(9) FaFa6,8,T规则(联言合并式),根据前提1、2和3(10) $xSx3,9,归谬规则,根据前提1、2和33(1) $x(PxCx)P(2) x(PxCxWx)P /$x(PxWx)(3) PaCa1,$-(4) PaCaWa2,-(5) Wa3,4,T规则(肯定肯后)(6) Pa3,T规则(联言分解式)(7) PaWa5,6,T规则(联言合并式)(8) $x(PxWx)7,$+4(1) x(TxJxTx)P /$x(TxJx)(2) $x(TxJx)P(引入的假设)(3) TaJa2,$-(4) TaJaTa1,-(5) Ta3,4,T规则(肯前肯后)(6) Ta3,T规则(联言分解)(7) TaTa5,6,T规则(联言合并)(8) $x(TxJx)2,7,归谬规则5(1) x(RxFxTx)P(2) x(LxTx)P /x(LxRx)(3) RxFxTx1,-(4) LxTx2,-(5) LxP(引入的假设)x带标记(6) Tx4,5,T规则(肯前肯后)x带标记(7) Rx3,5,T规则(否后否前)x带标记(8) LxRx5,7,D规则,(销去假设5)(9) x(LxRx)8,+6(1) x(TxLx)P /x(LxMx)x(TxMx)(2) x(LxMx)P(引入假设)(3) TxLx1,-(4) LxMx2,-(5) TxP(引入假设)x带标记(6) Lx3,5,T规则(肯前肯后)x带标记(7) Mx4,6,T规则(肯前肯后)x带标记(8) TxMx5,7,D规则(销去假设5)(9) x(TxMx)8,+(10) x(LxMx)x(TxMx)2,9,D规则(销去假设2)7(1) x(PxLxOx)P(2) x(LxNx)P(3) PaNaP /Oa(4) PaLaOa1,-(5) LaNa2,-(6) Na3,T规则(联言分解)(7) La5,6,T规则(否后否前)(8) Pa3,T规则(联言分解)(9) PaLa7,8,T规则(联言合并)(10) Oa4,9,T规则(肯前肯后)六、指出下列推导中存在的错误1在存在销去规则中,个体变量变为特指的常量,即论域中特指的某一个。所以,第4步中个体符不能用a,因为a在上一步中出现,在第4步中就不能再出现了,只能取B(b)。2在第2步中,全称销去时,所有的x都应当用a取代,不能只取代部分,出现T(a, x)的情况。3销去量词时,应从外向内逐层进行,不能外层不销去,先销去内层。此题第2步就是先销先内层的$量词。
展开阅读全文