[逻辑学第4讲.pptVIP

形式： MAP SAM　　 SAP 或： MAP，SAM├SAP 三段论 确定下面的三段论的结论、大项、小项、大前提、小前提，并转换为标准形式 1．没有核潜艇是商船，所以，没有战船是商船，因为所有核潜艇是战船。 2．有常绿植物是图腾，因为所有极树是常绿植物，有图腾是极树。 3．所有人造卫星是重大的科学成就，因此有重大的科学成就不是美国的发明创造，因为有人造卫星不是美国的发明创造。 4．没有影星是注册会计师，但所有注册会计师是有事业心的人，由此可知，没有影星是有事业心的人。 5．有保守派不是倡导高税率的人，因为所有倡导高税率的人是共和党人，而有共和党人不是保守派。 三段论 确定下面的三段论的结论、大项、小项、大前提、小前提，并转换为标准形式 6．所有CD机是昂贵而精致的机器，但没有昂贵而精致的机器是儿童玩具，所以，没有CD机是儿童玩具。 7．所有青少年罪犯是未接受良好教育的人，并且有青少年罪犯是家庭破裂的受害者，因此，有未接受良好教育的人是家庭破裂的受害者。 8．没有从不允许犯错的倔家伙是优秀教师，这样一来，因为有博学的人是从不允许犯错的倔家伙，故而有优秀教师不是博学的人。 9．所有蛋白质是有机化合物，由此可知所有酶是蛋白质，因为所有酶是有机化合物。 10．没有跑车是以中档速度运行的车，但是所有家用汽车是以中档速度运行的车，由此可知没有跑车是家用汽车。 1．没有核潜艇是商船，所以，没有战船是商船，因为所有核潜艇是战船。 第一步：结论是“没有战船是商船”。 第二步：“商船”是结论的谓项，因此是整个三段论的大项。 第三步：大前提，即含有大项的前提，是“没有核潜艇是商船”。 第四步：另一个前提“所有核潜艇是战船”是小前提，因为其中含有结论的主项“战船”。 第五步：写成标准形式为： 没有核潜艇是商船， 所有核潜艇是战船， 所以，没有战船是商船。 三段论的有效形式 确定下列三段论是否有效。 1、亚里士多德是哲学家，亚里士多德是逻辑学家，所以，并非所有的哲学家都不是逻辑学家。 2、真正的马克思主义者都是不否认历史的，历史虚无主义者都不是真正的马克思主义者，所以，历史虚无主义者都是否认历史的。 3、水银是液体，有的液体是导电的，所以，水银是导电的。 4、所有去年被评为先进党员的都要参加抗非典工作，我去年没被评为先进党员，所以我不要参加抗非典工作。 三段论的有效形式 确定下列三段论是否有效。 5、真理都是符合客观世界的认识，符合客观世界的认识没有不是经过实践检验的认识，所以，经过实践检验的认识都是真理。 6、第一格三段论的小前提都是肯定的，这个命题是肯定的，所以，这个命题是第一格三段论的小前提。 7、所有基本粒子都不是肉眼能看见的，所有昆虫都不是基本粒子，所以，所有昆虫都是肉眼能看见的。 8、所有犯罪行为都要负刑事责任，偷窃小额财物是违法行为，所以，偷窃小额财物不要负刑事责任。 青岛大学国际教育合作学院软件工程教学部 * * 逻 辑 学 第四讲 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 直言命题的变形推理 直言命题的变形推理就是通过改变一个直言命题的形式，由一个直言命题推出另一个直言命题的方法。 基本方法有： 换质法 换位法 换质位法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 直言命题的变形推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 直言命题的变形推理 换位法：就是通过调换前提命题主项、谓项的位置，从而得到一个新命题的推理方法。 换位法的规则： 1、只改变前提命题主项与谓项的位置； 2、前提中不周延的项，在结论中不得周延。 换位法的有效式： ⑤SAP├ PIS ⑥SEP├┤PES ⑦SIP├┤PIS ⑤式的实例： 所有教师都是知识分子， 所以，有些知识分子是教师。 Evaluation only. Created with Aspose.