翻译推理-“除非…否则…”翻译与逆否规则(含摩根定律)

考点:逻辑判断 / 翻译推理-“除非…否则…”翻译与逆否规则(含摩根定律)

问法模型:“除非A,否则不B”型条件句+多结论组合问“可以推出哪些” → 先翻译为“B→A”的标准形式,再用“肯前否后有结论、肯后否前无结论”逐项判定

推理链

  1. 第1步:题干“除非两翼健壮并以共同的力量来推动身体,否则它不能飞向天空”,“除非A否则B”翻译为¬A→B,即(两翼不健壮或不以共同力量推动身体)→不能飞向天空
  2. 第2步:逆否等价+摩根定律:¬(健壮且推动)=不健壮或不推动,故题干等价于“飞向天空→两翼健壮且以共同的力量来推动身体”
  3. 第3步:①为(健壮且推动)→飞向天空,是对“飞→健壮且推动”的肯后,肯后无必然结论,①推不出
  4. 第4步:②为飞向天空→(健壮且推动),与题干逆否后的标准形式完全一致,肯前必肯后,②可以推出
  5. 第5步:③为(不健壮或不推动)→不能飞,即¬(健壮且推动)→¬飞,是对标准形式的否后,否后必否前(恰为题干原式),③可以推出
  6. 第6步:④为不能飞→(不健壮或不推动),是对标准形式的否前,否前无必然结论,④推不出;综上②③可推出,对应B项

最快解法:⚡ 口诀翻译法:“除非A否则不B”直接记为“B→A”,即“能飞→两翼健壮且共同力量推动”;再套口诀“肯前否后有结论,肯后否前无结论”排除①④,锁定②③选B

易错点

  • ⚠ 把“除非…否则不能飞”翻译方向搞反,误写成“健壮且推动→不能飞”
  • ⚠ 误认为①“满足全部条件就一定能飞”,忽略题干只给出必要条件,肯后无必然结论
  • ⚠ 看不出③中“不健壮或不推动”经摩根定律恰等于“并非(健壮且推动)”,误以为③改变了命题而漏选

母题抽象

🧩 当题干出现“除非A,否则不B”特征时,一律翻译为“B→A”(等价于¬A→¬B),再用“肯前否后可推、肯后否前不推”检验各备选结论

同类特征:除非…否则不…、两翼健壮且以共同的力量推动身体、必要条件假言命题、①②③④多结论组合选择、逆否等价、摩根定律(且的否定为或)

相关题

  • 2256369(江西 2018,相关度2)
  • 1758916(上海 2016,相关度1)
  • 1797234(山东 2016,相关度1)
  • 2021872(吉林 2016,相关度1)
  • 2050900(江西 2017,相关度1)

题干

一只鸟除非两翼健壮并以共同的力量来推动身体,否则它不能飞向天空。根据以上陈述,可以推出以下哪些结论? ①一只鸟如果两翼健壮并以共同的力量来推动身体,那么它能够飞向天空 ②一只鸟如果能够飞向天空,那么它两翼健壮并以共同的力量来推动身体 ③一只鸟若两翼不健壮或不能以共同的力量来推动身体,那么它不能飞向天空 ④一只鸟如果不能飞向天空,那么它两翼不健壮或不能以共同力量来推动身体

选项

  • A. ①②
  • B. ②③ ✅
  • C. ③④
  • D. ②④

官方解析

第一步:翻译题干。

题干翻译为:飞向天空两翼健壮 且 以共同的力量来推动身体。

第二步:逐一分析选项。

①翻译为:两翼健壮 且 以共同的力量来推动身体飞向天空,是对题干逻辑关系的肯后,肯后无必然结论,无法推出;

②翻译为:飞向天空两翼健壮 且 以共同的力量来推动身体,是对题干逻辑关系的肯前,肯前必肯后,可以推出;

③翻译为:两翼健壮 或 以共同的力量来推动身体飞向天空,是对题干逻辑关系的否后,否后必否前,可以推出;

④翻译为:飞向天空两翼健壮 或 以共同的力量来推动身体,是对题干逻辑关系的否前,否前无必然结论,无法推出。

综上所述,②③可以推出,对应B项。

故正确答案为B。

给定材料

(无)