• 翻译推理基础
  • 翻译规则
    • 前推后
      • 如果……那么……
      • 只要……就……
      • 若……则……
      • 所有……都……
    • 后推前
      • 只有……才……
      • 不……不……
      • 除非……否则不……
      • ……是……的基础/前提/关键
  • 推理规则
    • 肯前必肯后
    • 否后必否前
    • 否前肯后无必然结论
• 且关系与或关系
  • 且关系（A 且 B）
    • 含义：两者同时成立
    • 真假判断：全真才真，一假则假
    • 推理规则
      • 肯前必肯后（A 且 B→A；A 且 B→B）
  • 或关系（A 或 B）
    • 含义：两者至少有一个成立
    • 真假判断：一真则真，全假才假
    • 推理规则
      • 否定肯定式（¬A→B；¬B→A）
• 摩根定律
  • ¬（A 且 B） = ¬A 或 ¬B
  • ¬（A 或 B） = ¬A 且 ¬B
• 特殊逻辑关联词
  • ……或者……，二者必居其一
    • 翻译：要么 A，要么 B
    • 推理规则
      • 一真一假为真，全真全假为假
      • 肯定否定式（A→¬B；B→¬A）
      • 否定肯定式（¬A→B；¬B→A）
  • 除非……否则……
    • 翻译：¬B→A