判断推理知识点梳理.doc

文档介绍：. -
- -可修编.
判断推理知识点梳理（念卿児）
总知识体系
逻辑判断。
类比推理。
图形推理。
定义判断。
逻辑判断知识点
翻译推理
假言命题
(1)基本结构
命题一
命题二
表述方式
如果P，那么Q
只有Q，才P
翻译
P→Q（前推后）
P→Q（后推前）
推理规则
肯前必肯后，否后必否前
肯前必肯后，否后必否前
否前/肯后：有可能，不一定
否前/肯后：有可能，不一定
（2）关联词替换表达
①前推后：如果。。。就。。。；只要。。。就。。。；要。。。就。。。
②后推前：只有。。。才。。。；除非。。。否则不。。。
③不明确：必不可少/必须/基础、前提/必要条件/离不开
“不能没有的项”放在“→”后边
联言命题与选言命题
(1)基本结构
. -
- -可修编.
联言命题
选言命题
表述方式
A且B（缺一不可）
A或B（至少一个）
真假判断
A、B同真，A且B为真，反之亦然
A、B同假，A或B为假，反之亦然
A、B至少一假，A且B为假，反之亦然
A、B至少一真，A且B为真，反之亦然
简记
“且关系”：同真才真，一假则假
“或关系”：同假才假，一真则真
德摩根定律
①﹣（A或B）=﹣A且﹣B
②﹣（A且B）=﹣A或﹣B
集合推理

所有的S都是P。 => （1）有的P是S。 （单项不可逆）
所有的S都不是P。 <=> （2）所有的P都不是S。 （双项可逆）
有的S是P。 <=> （3）有的P是S。 （双项可逆）
有的S不是P。 ×（4）不让换。
两个推出
所有的S都是P。 =>某个S是P。 =>有的S是P。
所有的S都不是P。 =>某个S不是P。 =>有的S不是P。
所有 =>某个 =>有的（箭头方向不可逆）
一个递推
递推公式：A→B，B→C， =>A→C
成立条件：“B”必须指“所有”
. -
- -可修编.
真假判断
首先找“矛盾”，关键是“其余”
&矛盾关系：必有一