2014专硕考研：管综逻辑复合命题、分析推理点拨

考研网

    1、基本逻辑概念理解
   
   

1388383258811308.jpg

   
        (1)非A(记为ØA)=
A假
    Ø真
= 假
    Ø假
= 真
        (2)A且B(记为A∧B)=
A和B都真
    (真∧真)=
真
    (真∧假)=
假
    (假∧真)=
假
    (假∧假)=
假
        (3)A或B(记为A∨B)=
A和B至少有一真
    (真∨真)=
真
    (真∨假)=
真
    (假∨真)=
真
    (假∨假)=
假
   

1388383244797108.jpg

                    

kyfour

    2、基本条件推理关系
    有逻辑关联词的处理，根据关联词进行翻译：
   

题目表述	逻辑理解
如果P,（那么）Q	P®Q
只要P,（就）Q	P®Q
若P,（则）Q	P®Q
凡是P,都是Q	P®Q
为了P,（必须）Q	P®Q
只有A,才B	B®A
不是A,不是B	B®A
除非A，否则B	ØA®B
除非A，否则不B	ØA®ØB
除非不A，否则B	A®B
除非不A，否则不B	A®ØB
A，否则B=除非A，否则B	ØA®B
A，除非B=除非B，否则A	ØB®A
有A，就不会没B。	A®B
只要有A，就不会有B。	A®ØB
如果没A，就不会有B。	ØA®ØB
要有A，必须有B。	A®B
只有无A，才有B。	B®ØA
除非没A，否则一定有B。	A→B
无B，除非有A。	ØA®ØB
有B，否则无A。	ØB®ØA

    无辑关联词的处理，根据“谁是基础，谁放后面”翻译：
   

1388383187120108.jpg

    特殊翻译：
    至多和至少
    A和B至多有一个是团员。¬A∨¬B
    A和B至多有一个不是团员。¬A∨¬B
    A和B至多少一个是团员。A∨B
    A和B至多有一个不是团员。A∨B
                    

kytwo

　　3、常用逻辑等值公式
   
   

1388383157643808.jpg

   
        4、模态推理与否定定理
    不必然A
= 可能非A
    不必然非A
= 可能A
    不可能A
= 必然非A
    不可能非A
= 必然A
    否定否定得肯定;否定肯定得否定;
    否定并且得或者;否定或者得并且;
    否定所有得有的;否定有的得所有;
    否定必然得可能;否定可能得必然。
        5、核心考点(A→B)
        (1)推理规则
    逆否等价
A→B « ØB® ØA
    定义A→B为原命题为真，与之等价的ØB®
ØA为真，其余的真假不定。
   
   

1388383127642908.jpg

                    

kyfive

        (2)A→B考点运用列举
    第一考点：A→B
« ØB® ØA
    第二考点：A→B«
ØA∨B
    第三考点：A→B与
A∧¬B矛盾
    第四考点：假设A→B假，A∧¬B真寻找包容关系
    第五考点：A→B真值表
    第六考点：连锁推理(A→B)∧(B→C)→(A→C)
    第七考点：归谬法
   
   

1388383099528208.jpg

   
        三、分析推理(排列组合)
    1、结合排除法
    题干信息充分：极端信息分析(重复最多以及没有重复的)
    选项信息充分：结合选项排除不符合题干的选
    2、连线分析法
    二类或者三类信息用一张简单的表进行连线分析。
    虚线：关系不成立
    实线：关系成立
    3、综合分析法
    列表以及假设法综合运用。
    4、逆向思维法
    列举满足条件和不满足条件的分析方法。.
                    

kytwo

    四、集合推理(三段论)
        1、欧拉图
   

1388383066471208.jpg

   
    已知所有的A都是B为真
   
    判断如下几句话的真假：
    有的A是B
    有的A不是B
    有的B是A
    有的B不是A
    有的不是B的是A
    有的不是A的是B
        2、三段论
    
在一个三段论中，有且只能有三个不同的概念，不可偷换或混淆概念。
    ‚
两个否定前提不能推出结论，前提一是否定的，结论也应当是否定的;结论是否定的，前提之一必须是否定的。
    ƒ
两个特称前提不能得出结论;前提之一是特称的，结论必然是特称的。
    解题思路：
    推出结论：欧拉图;
    补充前提：前前后后。