形式逻辑思维导图

赵鑫全强化篇形式逻辑整体概括，包括简单推理、负判断、综合推理、联言判断、相容选言判断、不相容选言判断、假言判断、结构相似等。

形式逻辑

• 简单判断推理
  • 简单推理 （单个前提）
    • S、P位置相同
      • 对方方阵
        • 矛盾关系：必有一真一假
        • 上反对关系：至少有一假
        • 下反对关系：至少有一真
        • 包含关系：上真推下真（左），下假推下假（右）
    • S、P位置不同
      • 换位推理
        • 所以S都是P（S→P）：能逆否，不能换位，能推“有的”
        • 有的S是P（S⇒P）：能换位，不能逆否
  • 负判断 （直言+模态）
    • 等价变形
      • 凡是“不”字否定的位置全变对立面 注意：双重否定变肯定
  • 综合推理 （多个前提）
    • 已知前提+前提
      • 推结论
        • 让前提中重复的概念首尾相连
        • 从“有的”出发
        • 两个“有的”什么也推不出
    • 已知前提+结论
      • 补前提
        • 前提和结论中重复的词左对齐，补“上→下”
• 复合判断推理
  • 联言判断 (P∧Q)
    • 推理
      • 干→肢 干为真，肢就为真
      • 肢→干
        • 肢都为真，干就为真
        • 肢有一假，干就为假
    • 矛盾
      • P∧Q与¬P∨¬Q矛盾
    • 等价
      • P∧Q=Q∧P（考得较少）
  • 相容选言判断 （P∨Q）
    • 推理
      • 干→肢
        • 干为真时，肢至少有一个真，但不确定哪个为真
      • 肢→干
        • 肢有一真，干就为真
        • 肢都为假，干就为假
    • 矛盾
      • P∨Q与¬P∧¬Q矛盾
    • 等价
      • P∨Q=Q∨P（考的较少）
      • P∨Q=¬P→Q=¬Q→P（否定必肯定）
    • • P∨Q，P→？（肯定不确定）
  • 不相容选言判断 （P∀Q）
    • 推理
      • 干→肢
        • 干为真时，肢一真一假
      • 肢→干
        • 肢一真一假，干就为真
        • 肢同真同假，干就为假
    • 矛盾
      • P∀Q与(P∧Q)∨(¬P∧¬Q)矛盾
    • 等价
      • P∀Q=¬P∀¬Q
      • P∀Q=¬P→Q=P→¬Q(否定必肯定，肯定必否定)
  • 假言判断 （P→Q）
    • 推理
      • P→Q=¬Q→¬P
    • 矛盾
      • P→Q与P∧¬Q矛盾
    • 等价
      • 标志词间的等价：如果P，那么Q=只有Q，才P
      • “推”变“或”：P→Q=¬P∨Q
    • 综合推理
      • 递推关系
      • 两难推理
      • 假言三段设
      • 推或变形
• 结构相似
  • 推理结构一致
  • 论证方法一致
  • 谬误一致