判断推理之形式逻辑

判断推理之形式逻辑思维导图：包含翻译推理，先翻译后推理，翻译规则，充分条件肯前，否后为真，必要条件，特殊关联词，真假推理，组合排列等等

形式逻辑

• 翻译推理
  • 解题思维
    • 先翻译后推理
  • 翻译规则
    • 充分条件
      • 前 ——后
        • 肯前，否后为真
          • 如果（例如\一旦\若）……，那么（就\则）
          • 只要……，就……
          • 绝对化表达，如：……一定（就、则。离不开）
          • 整体化表达，如：所有（凡是/任何、每一个）……都……；……是……
    • 必要条件
      • 后——前
        • 肯后，否前为真
          • 只有（除非）……才……
          • ……是……的必要条件（先决条件/基础/前提/必要假设/必不可少的条件）
    • 特殊关联词
      • 或关系
        • 含义：至少有一个
        • 翻译：否一个推另一个
        • 标志词
          • 或者……或者……
          • 除非……否则……
      • 不相容
        • 即只能有一个
          • 要么……要么……
      • 有的……是……
        • 有的……是
          • 至少有一个
        • 有的可以推所有，所有不能推出有的
  • 推理规则
    • 逆否命题
      • A推出B=-B推出-A
    • 摩根定律
      • -（A且B）=-A或-B
      • -（A或B）=-A且-B
    • 等价置换
      • 有的A是B=有的B是A
• 真假推理
  • 解题思维
    • 先找矛盾（反对）再看其他
  • 矛盾关系
    • 有的……是——所有……不是
    • 所有……是——有的……不是
    • A推出B——A且非B
  • 反对关系
    • 有的有的必有一真
    • 所有所有必有一假
• 组合排列
  • 如果麻烦就放弃
  • 排除
  • 排列
    • 从最大信息入手
    • 特殊信息
      • 出现一次
      • 圆桌