概念形成判断，判断形成推理
常见三种推理：演绎推理，归纳推理，类比推理。
其中演绎推理是重点
一、直言推理
直言判断有六种：
单称肯定、单称否定（这个）
全称肯定、全称否定（所有）
特称肯定、特称否定（有的）。
矛盾关系：只有一真（所有对有的，肯定对否定）
单称肯定↔单称否定
全称肯定↔特称否定
特称肯定↔全称否定；
反对关系：
全称肯定与全称否定：两个“所有”至少一假；
特称肯定与特称否定：两个“有的”至少一真
全称可推单称和特称
单称可推特称
换位推理：
所有S是P→有的P是S（所有S不是—P↔所有—P不是S↔所有—P是—S→有的—S是—P）
有的S是P↔有的P是S（有的S不是P↔有的—P是S）
所有S不是P↔所有P不是S
二、模态推理
模态判断：
必然肯定、必然否定 ——所有
或然肯定、或然否定（可能） ——有的
实然 ——这个（实然P = P）
矛盾关系：
必然P↔可能—P
可能P↔必然—P
反对关系：
必然肯定、必然否定：两个“必然”至少一假；
或然肯定、或然否定：两个“可能”至少一真；
必然可推实然和或然
实然可推或然
三、关系推理
关系判断：
1、对称性
（1）对称关系（aRb→bRa）
（2）非对称关系（aRb，bRa不确定）
（3）反对称关系（aRb，一定没有bRa）
2、传递性
（1）传递关系（aRb、bRc →aRc）
（2）非传递关系
（3）反传递关系
四、联言推理
联言判断：p且q
真值表
附加规则：p、q→p且q
分解规则：p且q→p、p且q→q
五、选言推理
选言判断：
1、相容选言：p或q
2、不相容选言：要么p、要么q
真值表（2种）
至少一个：p或q
至多一个：—p或—q
规则1：p→p或q
规则2：p或q、p 推不出 —q
规则3：p或q、—p → q（☆）
规则4：要么p要么q、 p → —q
规则5：要么p要么q、—p → q（☆）
六、假言推理（※）
假言判断：
充分条件假言判断（如果，那么）
必要条件假言判断（只有，才）
充分必要条件假言判断（当且仅当）（全真全假即为真）
规则1：p→q、p得到q（肯前必肯后）
规则2：p→q、—q得到—p（否后必否前）
规则3：递推（p→q、q→r得到p→r）
错误1：否前否后错误
错误2：肯后肯前错误
