文档介绍：.. -
. . -
判断推理知识点梳理〔念卿児〕
总知识体系
逻辑判断。
类比推理。
图形推理。
定义判断。
逻辑判断知识点
翻译推理
假言命题
(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〞必须指“所有〞
..