形式逻辑思维导图

这是一篇关于形式逻辑的思维导图，讲述了简单判断推理、复合判断推理、结构相似等内容，希望梳理的内容对你有所帮助！

形式逻辑

• 简单判断推理
  • 简单推理
    • 单个前提
    • 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，P→？（肯定不确定）
      • P∨Q=Q∨P（考的较少）
      • P∨Q=┐P→Q=┐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
    • 综合推理
      • 递推关系
      • 两难推理
      • 假言三段论
      • 推与或变形
• 结构相似
  • 推理结构一致
  • 论证方法一致
  • 谬误一致