2014专硕考研：管综逻辑复合命题、分析推理点拨
1、基本逻辑概念理解(1)非A(记为ØA)=
A假
Ø真
= 假
Ø假
= 真
(2)A且B(记为A∧B)=
A和B都真
(真∧真)=
真
(真∧假)=
假
(假∧真)=
假
(假∧假)=
假
(3)A或B(记为A∨B)=
A和B至少有一真
(真∨真)=
真
(真∨假)=
真
(假∨真)=
真
(假∨假)=
假
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
无辑关联词的处理，根据“谁是基础，谁放后面”翻译：
特殊翻译：
至多和至少
A和B至多有一个是团员。¬A∨¬B
A和B至多有一个不是团员。¬A∨¬B
A和B至多少一个是团员。A∨B
A和B至多有一个不是团员。A∨B
3、常用逻辑等值公式
4、模态推理与否定定理
不必然A
= 可能非A
不必然非A
= 可能A
不可能A
= 必然非A
不可能非A
= 必然A
否定否定得肯定;否定肯定得否定;
否定并且得或者;否定或者得并且;
否定所有得有的;否定有的得所有;
否定必然得可能;否定可能得必然。
5、核心考点(A→B)
(1)推理规则
逆否等价
A→B « ØB® ØA
定义A→B为原命题为真，与之等价的ØB®
ØA为真，其余的真假不定。
(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)
第七考点：归谬法
三、分析推理(排列组合)
1、结合排除法
题干信息充分：极端信息分析(重复最多以及没有重复的)
选项信息充分：结合选项排除不符合题干的选
2、连线分析法
二类或者三类信息用一张简单的表进行连线分析。
虚线：关系不成立
实线：关系成立
3、综合分析法
列表以及假设法综合运用。
4、逆向思维法
列举满足条件和不满足条件的分析方法。.
四、集合推理(三段论)
1、欧拉图
已知所有的A都是B为真
判断如下几句话的真假：
有的A是B
有的A不是B
有的B是A
有的B不是A
有的不是B的是A
有的不是A的是B
2、三段论
在一个三段论中，有且只能有三个不同的概念，不可偷换或混淆概念。
‚
两个否定前提不能推出结论，前提一是否定的，结论也应当是否定的;结论是否定的，前提之一必须是否定的。
ƒ
两个特称前提不能得出结论;前提之一是特称的，结论必然是特称的。
解题思路：
推出结论：欧拉图;
补充前提：前前后后。
页:
[1]