2015专硕管综逻辑终极点拨之复合命题、分析推理
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 aquo; ØB® ØA
定义A→B为原命题为真,与之等价的ØB® ØA为真,其余的真假不定。
(2)A→B考点运用列举
第一考点:A→B aquo; ØB® ØA
第二考点:A→Baquo; Ø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、三段论
在一个三段论中,有且只能有三个不同的概念,不可偷换或混淆概念。
‚ 两个否定前提不能推出结论,前提一是否定的,结论也应当是否定的;结论是否定的,前提之一必须是否定的。
ƒ 两个特称前提不能得出结论;前提之一是特称的,结论必然是特称的。
解题思路:
推出结论:欧拉图;
更多2015复习攻略>>
页:
[1]