部分重点作业内容

《部分重点作业内容》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第一部分重点复习内容一、概念部分1、集合概念与非集合概念的区分关键是要同该判断做出的断定联系起来.当你认为该判断中的某个概念是集合概念（或者是非集合概念）时，你思考一下：按照你的这种理解，该判断是不是能够成立？如果能够成立，那么你的理解是正确的；如果不能成立，那么你的理解是不正确的.矚慫润厲钐瘗睞枥庑赖。例如：“在法律面前人人平等”这个判断中，“法律”这个概念就是非集合概念，因为只有把这里的“法律”理解成指的是任何一部法律，该判断才能成立；而在“人是从猿进化来的”这个判断中，“人”这个概念就是一个集合概念，因为只有把世界上所有的人看成一个集合体，也就是看成是一个物种，该判断才能成立

2、，而如果把这里的“人”理解成指的是一个一个的具体的人，那么这个判断就不能成立了.因为，就世界上任何一个具体的人来说，他（或者她）都是其母亲生下来的，而不是从猿变成的.聞創沟燴鐺險爱氇谴净。2、概念之间的关系，欧拉图概念之间的关系包括：相容关系和不相容关系两大类.相容关系又包括：同一关系；属种关系；交叉关系.其中，属种关系又有真包含关系和真包含于关系两种情况.不相容关系即全异关系.主要掌握其中的矛盾关系和反对关系.用欧拉图表示概念之间的关系.画图是比较简单的，关键是把题目中给出的几个概念之间的关系分辨清楚.这个要涉及到其他各门学科的知识.残骛楼諍锩瀨濟溆塹籟。3、明确概念的逻辑方法主

3、要有三种：定义；限制和概括；划分.重点掌握：定义的规则；对一个概念进行限制，实际上就是给出该概念下面的一个种概念.酽锕极額閉镇桧猪訣锥。二、判断部分1、性质判断.种类；对当关系.2、关系判断.正确区分对称关系、反对称关系和非对称关系；正确区分传递关系、反传递关系和非传递关系.3、模态判断.重点搞清楚四种真值模态判断之间的对当关系.4、假言判断.重点掌握：（1）三种假言判断的逻辑特征，也就是其前件和后件之间的真假制约关系.充分条件假言判断：前件是后件的充分条件，后件是前件的必要条件.必要条件假言判断：前件是后件的必要条件，后件是前件的充分条件.充要条件假言判断：前件是后件的既充分又必

4、要的条件，后件也是前件的既充分又必要的条件.（2）认定假言判断的种类，只能根据它的逻辑标志.5、负判断的等值判断.性质判断的负判断的等值判断，就是同该性质判断具有矛盾关系的那一个性质判断.例如：“所有的S都是P”，这个判断的负判断是“并非所有的S都是P”，它的等值判断就是“有的S不是P”.一个复合判断的真假是由它的肢判断的真假关系来决定的，而它的负判断实际上就是断定它为假.所以，它的负判断的等值判断，就是当它为假时，用来描述其肢判断的真假情况的那个判断.彈贸摄尔霁毙攬砖卤庑。例如：“P并且Q”，这是一个联言判断.它的负判断是“并非（P并且Q）”，其等值判断就是“非P，或者非Q”.謀

5、荞抟箧飆鐸怼类蒋薔。“P或者Q”，这是一个相容选言判断.它的负判断是“并非（P或者Q）”，其等值判断就是“非P并且非Q”.厦礴恳蹒骈時盡继價骚。“要么P要么Q”，这是一个不相容选言判断.它的负判断是“并非（要么P要么Q）”，其等值判断就是“非P并且非Q”或者“P并且Q”.茕桢广鳓鯡选块网羈泪。其他复合判断的负判断的等值判断，可以按照相同的规律去理解.6、真值表的判定作用（1）用真值表来判定一个复合判断的逻辑值（即判定它的真假）.（2）用真值表来判定两个判定是否等值判断.（3）用真值表来判定一个逻辑形式是否重言式（永真式）.所谓一个逻辑形式是“重言式（永真式）”，就是指它的各个变项不

6、论是取真值，还是取假值，它都是真的. （4）用真值表来判定一个推理是否有效.在这种情况下使用真值表，可以用一种简化的形式，即归谬赋值法.归缪赋值法的的基本内容是：   目的：要证明一个蕴涵式是重言式（即永真式）.    为此，必须证明它不可能前件真而后件假.   证明的方法：反证法. 证明的步骤：     1、假定要判定的蕴涵式为假，即它的前件真而后件假.     2、根据上述假定给每个判断变项赋值，使其满足前件真后件假.     3、观察每个判断变项的赋值，看是否有矛盾的情况.如果某一变项的赋值有互相矛盾的情况（即：既给它赋真值，又给它赋假值），那么就表明该蕴涵式为假的假定不能成

7、立.这就意味着，该蕴涵式是重言式.鹅娅尽損鹌惨歷茏鴛賴。 三、推理部分1、直接推理.换质法；换位法；换质位法.2、三段论.三段论的格.三段论的规则.省略三段论.3、选言推理.重点掌握：选言推理的正确形式.不相容选言推理有两种：否定肯定式和肯定否定式；相容选言推理只有一种：否定肯定式.籟丛妈羥为贍偾蛏练淨。4、假言推理.重点掌握三种假言推理的正确形式.充分条件假言推理：肯定前件式和否定后件式.必要条件假言推理：否定前件式和肯定后件式.充要条件假言推理：肯定前件式、肯定后