翻译推理题

翻译推理，一个让我望而却步的模块，感觉特别的绕，尤其是用语感试图去理解，更是耗时耗力，做完一看答案竟然还错了……痛定思痛后，集中学习了几个小时，发现原来这个模块很“死板”，完全不需要理解，只需记住几个关联词稍微推导一下就行了，可谓是一旦学会，想忘都难啊！这张图就是我的学习笔记。

翻译推理

• 如果A就B
  • 充分条件
  • 翻译：A—>B
    • ”前推后“
• 只有A才B
  • 必要条件
  • 翻译：B—>A
    • “后推前”
• 肯前必肯后，否后比否前； 肯后，否前得不到必然。
  • 推理规则
• A且B
  • 联言命题
  • 性质：全真才真，一假即假
• A或B
  • 相容选言命题
  • 性质：一真即真，全假才假
• —(A且B)=—A或—B; —(A或B)=—A且—B。
  • 德摩根定律：去括号，分负号，且变或，或变且
• 要么A要么B
  • 不相容选言
  • 性质：一真一假为真；全真全假为假
  • —(要么A，要么B) =要么（A且B） =要么（—A且—B）
• 翻译规则
  • ”前推后“
  • “后推前”
• 推理规则
  • 逆否等价
    • A—>B=-B—>-A
  • 递推推理
    • A—>B；B—>C =>A—>C
• 解题思路
  • 先翻译，再推理
  • 读题规则：2、1、3原则
  • 题目特征：①可以/不能推出； ②逻辑关联词（题干或选项）
• 题型特征
  • 如果……那么…… 只有……才…… ……且…… ……或……
• 已知A或B为真
  • -A—>B；-B—>A
    • 否定肯定式
  • 已知A或B为真，否定一个则另一个一定为真