形式逻辑

管综逻辑72计之形式逻辑，包含复言命题四大考点、简单命题四大考点、形式逻辑12计等，帮助考生梳理了考试的知识点，形成了清晰的知识体系。同时，通过对每个知识点的详细解释和关联，思维导图也促进了考生对知识的理解和记忆。因此，考生在备考过程中可以充分利用这张思维导图，提高备考效率，取得更好的成绩。

形式逻辑

• 复言命题四大考点
  • 六大命题
  • 联言命题
    • 若干判断同时成立P∧Q，P,Q同时成立
      • 推理：干判断为真，肢判断也为真，即P∧Q为真时，P为真，Q也为真
      • 矛盾命题：且的矛盾：同时成立的矛盾=至少有一个不成立
        • 公式：¬P∧Q=¬P∨¬Q
  • 选言命题
    • 本质
      • 相容选言-或：P∨Q
        • AB至少一个=A∨B
        • AB至多一个=A∨¬B
        • AB至多一个=AB至少一个=¬A∨¬B
        • ABC至多两个=ABC至少一个不=¬A∨¬B∨¬C
        • ABC至多两个不=ABC至少一个=A∨B∨C
      • 不相容选题-要么：P∀Q(有且仅有一个)
    • 推理
      • 干推肢：干真则肢不定
        • 或命题
          • 一否推另肯
          • 一肯另不定
        • 要么命题
          • 一否推另肯
          • 一肯推另否
        • 等价命题
          • 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的唯一标准
        • 能否P决定能否Q
    • 推理
      • 干推肢：假言命题：干真则肢不定
      • 推理性质
        • P→Q:肯前比肯后，否后必否前，否前后不定，肯后前不定
        • P↔Q：一肯推另肯，一否推另否
      • 等价命题
        • P→Q=¬P→¬Q
        • P↔Q=¬P↔¬Q
        • 不可能(并非)A但B¬(A∧B)=¬A∨¬B 不可能(并非A或B)¬(A∨B)=¬A∧¬B
    • 矛盾
      • P→Q的矛盾=P→¬Q
      • P↔Q的矛盾=(P∧¬Q)∨(¬P∧Q)
    • 真假
      • P→Q的真假：根据¬P∨Q的真假来判断
      • P↔Q的真假：若P,Q一真另假，则P↔Q为假。若跑P,Q同真同假，则
      • P↔Q的真假：若P,Q一真另假，则P↔Q为假。若跑P,Q同真同假，则P↔Q为真
• 简单命题四大考点
  • 概念定义
    • 概念本质： 定义本质
    • 概念的分类
    • 概念之间的关系
      • 同一关系
      • 交叉关系
      • 包含关系
      • 矛盾关系
      • 反对关系
    • 概念的划分
      • 划分
      • 规则
      • 划分方法
      • 多多少少公式
  • 性质命题
    • 形式
      • 全称肯定
      • 全称否定
      • 特称肯定
      • 但称肯定
      • 单称否定
      • 特称否定
      • 特殊句式：A+动词+B=A→动词+B=B→A+动词
    • 推理：对方矩阵图：所有，所有不，有的，有的不，某个，某个不
      • 矛盾关系
        • 口诀：一真另假，一假另真，一真一假
      • 反对关系
        • 口诀：至少一假
      • 下反对关系
        • 口诀：至少一真
      • 包含关系
        • 口诀：上真下真，下假上假，上假下不定，下真上不定
    • 换质换位
      • S→P=¬P→¬S S→P⇒有的S→P=有的P→S
    • 联立
  • 模态命题
    • 对方矩阵图：必然，必然不，可能，可能不
      • 包含关系
      • 反对关系
      • 下反对关系
      • 矛盾关系
    • 矛盾命题
      • 口诀：并非之后，所有有的，必然可能，肯定否定互相变。并非之前不用变。 所有并非都：并非所有
  • 关系命题
    • 对称性
      • 对称性关系
      • 半对称性关系
      • 反对称性关系
    • 传递性
      • 传递性关系
      • 半传递性关系
      • 反传递性关系
• 形式逻辑12计
  • 复言命题之推出结论：特征：假言，且，或，要么。问题：要求推出结论
    • 条件联立模型
      • 特征：共同话题 工具：结合逆否 目标：首尾联立
        • 解题思路：先联立条件，再验证选项；条件联立找首尾
    • 确定代入模型
      • 题目特征：确定信息+不确定信息
        • 确定信息：且，单肢，其他 不确定信息：假言，或，要么
          • 解题思路：①确定信息做起点②逆向思维找确定：当题干信息有假言P→Q，以及其他条件时，注意逆向分析，观察其他条件是否能肯P，否Q
    • 二难推理模型
      • 题目特征：二难结构
        • 公式1联言式
          • 已知①P∧Q，②P→J，Q→K 结论：J∧K
        • 公式2选言式
          • 已知①P∨Q，②P→J，③Q→K， 结论：J∨K
        • 公式3永真式
          • 已知①P→Q，②¬P→Q 结论：Q
        • 公式4归谬式
          • 已知①P→Q，②P→¬Q 结论：¬P
    • 选项带入模型
      • 特征：题干仅有一个条件；题干多个条件无法联立
        • 解题思路：①逐个代入选项做验证②肯前否后优先验，否前肯后优先排
    • 特殊联立模型特征
      • 特征：特殊联立的结构
  • 复言命题之补充前提：特征：假言，且，或，要么。问题：要求补充前提，推出特殊结论
    • 选项代入法
      • 特征：补充前提类的通用解法
        • 解题思路：逐一代入选项验证，寻找能退推出目标结论的选项
    • 逆向思维法
      • 特征：补充前提类的优化解法
        • 解题思路：根据公式性质逆向预判答案
  • 复言命题之寻找矛盾：特征：假言，且，或，要么。问题①要求质疑题干②上真推下假：题干为真，找不可能为真的选项③上假推下真：题干为假，问能推出什么
    • 矛盾公式法
      • 特征：题干结构简单
        • 解题思路：直接套入矛盾公式
    • 选项代入法
      • 特征：题干结构复杂
        • 解题思路：逐一代入，寻找与题干矛盾的选项；P→Q的矛盾=P∧¬Q
  • 性质命题之联立推：特征：题干会给出多个性质命题
    • 联立之推出结论：特征：问题要求推出结论
      • 联立规则：共同话题(特征)，有的开头，换质换位，首位联立(目标)
        • 解题思路：①若题干全可联立，则先联立在代入 ②无法全部联立，代入选项
    • 联立之补充前提：特征：问题要求补充前提
      • 解题思路：逐一代入，寻找能结合论据退出目标结论选项，注意“有的” 逆向思考：寻找题干的缺口，答案必定是缺口
    • 联立之寻找矛盾：特征：要求质疑题干
      • 若题干有论点，逐一代入选项，寻找结合论据能和论点有矛盾的选项。 若无论点，先联立题干的条件推出结论，在找矛盾