逻辑判断—翻译推理

逻辑判断中的翻译推理是一种重要的推理方法，它通过将自然语言中的语句转化为逻辑表达式，从而更清晰地揭示语句之间的逻辑关系，帮助我们进行更准确的推理。供考公考编的宝宝使用。

逻辑判断

• 翻译推理
  • 翻译规则
    • 前推后
      • 关联词
        • （1）如果…那么…
        • （2）若…则…
        • （3）只要…就…
        • （4）所有…都…
        • （5）为了…一定…
        • …A…是…B…的充分条件
      • 速记口诀
        • 如果、就、都、一定
    • 后推前
      • 关联词
        • 只有…才…
        • 不…不…
        • 除非…否则不…
          • 变形：除非A否则不（不）B：—B→A
        • …是…的基础/假设/前提/关键/必要条件/必不可少的条件
          • 干扰项：重要条件（不翻译）
          • 谁充分，谁在箭头前；谁必不可少，谁在箭头后
  • 推理规则
    • 逆否等价
      • 符号表示：A→B＝—B→—A
      • 肯前必肯后，否后必否前，否前肯后不必然（可能/可能不）
    • 递推原则
      • A→B，B→C➡️A→B→C
  • “且”或“或”
    • 且
      • A且B 二者同时成立
      • 关联词
        • …和…
        • …并且…
        • 既…又…
        • 不仅…而且…
        • 虽然…但是…
    • 或
      • A或B 二者至少一个成立
      • 关联词
        • …或者…
        • 或者…或者…
        • …和…至少一个
      • “或”的翻译：否1→1 —A→B /—B→—A
    • 德·摩根定律
      • —（A且B）＝—A或—B
      • —（A或B）＝—A且—B
      • “—”进去，“且”“或”互变