逻辑-形式与综合推理

管综（199）逻辑的形式部分常用知识点总结，以及该部分的常考点。

形式

• 简单
  • 推理方向
    • 所有→单称→有的
    • 必然→事实→可能
  • 负判断
    • 只考虑范围、模态、性质三个维度
    • 奇数个词为对立面，偶数个不变
  • 换位推理
    • 所有S都是P
      • 能逆否
      • 不能换位
      • 能推有的
        • 有的S是P
        • 有的P是S
    • 有的S是P
      • 除 有的P是S 之外，其他的表达都不确定
      • 不能逆否
      • 能换位
      • 易错点
        • 70%的S是P≠70%的P是S
    • 有的S喜欢所有P
      • 所有的P都有S喜欢
        • √
      • 有的S喜欢所有P
        • ？
  • 综推
    • 推结论
      • A→B，B→C
        • A→B→C
      • 规则
        • 重复词位于一左一右
        • “有的”出发
        • 两个“有的”不能连
    • 补前提
      • A→C
        • A→B
        • 补 B→C
• 综推
  • 递推
  • 两难
    • P→Q、非P→Q
      • Q
    • P→Q、P→非Q
      • 非P
  • 技巧
    • 信息全真
      • 或变推（构成递推、两难）
    • 有真有假
      • 推变或
  • 概念等价
    • 青年教师中的女性
    • 女青年中的教师
    • 女教师中的青年
• 总结
  • 包含
    • 所有的S都是P
      • 有的S是P
    • P且Q
      • P
        • P或Q
    • PQ二选一
      • P或Q
    • 小
      • 大
  • 肯定有假
    • 1. 所有S→P、所有S→非P
    • 2. 必然、必然不
    • 3. S且P、S且非P
    • 4. A、非A且B
  • 肯定有真
    • 1. 有的S→P、有的S→非P
    • 2. S可能P、S可能不P
    • 3. S或P、S或非P
    • 4. S→P、S→非P
    • 5. A、非A或B
  • 不同真假
    • A、非A
    • 全S→P、有的S→非P
      • 必然与可能不
    • 某S→P、某S→非P
    • A或B、非A且非B
    • A→B、A且非B
• 复杂
  • 且、或、二选一、→
  • 判断
    • 充分（小）左→必要（大）右
  • 画箭头
    • A→B
      • VN图：B大A小
      • A离不开B
      • B是A的基础
      • B是A的先决条件
      • = 非A且B
    • • 才
      • 不...不能
        • 没有...别
    • 否则
      • +“除非”，去“除”