翻译推理-逆否规则（否后必否前）+德摩根律
考点：逻辑判断 / 翻译推理-逆否规则（否后必否前）+德摩根律
问法模型：‘由此可推知’型连环假言推理→先逐句翻译题干条件，再从唯一的确定事实出发沿链条连续‘否后必否前’一推到底，与选项对照。
推理链
- 第1步：翻译题干：①去春游→梧桐山且仙湖植物园（‘否则就不去’即其逆否表达）；②梧桐山且仙湖植物园→去春游；③梧桐山或七娘山→和小雪一起出门（‘只有…才’翻译为后推前）；④和小雪一起出门→做好约定；⑤做好约定→小雪有时间。
- 第2步：提取确定信息：‘小雪休假回北方看望家人，为期一个月’→本月小雪没时间，即否定⑤的后件。
- 第3步：否后必否前：由⑤逆否得‘没做好约定’，再对④否后得‘没和小雪一起出门’，排除D项。
- 第4步：‘没和小雪一起出门’是对③的否后，由德摩根律：¬（梧桐山或七娘山）=¬梧桐山且¬七娘山，排除B项。
- 第5步：¬梧桐山即否定联言命题‘梧桐山且仙湖植物园’中的一支，整体即为假，构成对①的否后，否后必否前得‘没去春游’。
- 第6步：对照选项：A‘没去春游’成立；C‘仙湖植物园’仅知‘两处未都去’，其本身真假不定，排除。
最快解法：⚡ 连锁逆否法：抓住题干唯一确定信息‘小雪回北方一个月→本月没时间’，沿⑤→④→③→①连续‘否后必否前’（③处用德摩根拆‘或’），一推到底直接锁定A。
易错点
- ⚠ 把‘小雪休假回北方探亲’误读为‘小雪有时间’——休假探亲即本月无法同行，恰是对⑤后件的否定，起点找错则全盘皆错。
- ⚠ 否定‘或’命题时漏用德摩根：¬（梧桐山或七娘山）须拆成‘¬梧桐山且¬七娘山’，漏拆易误选B。
- ⚠ 忽视‘联言否定一支即整体为假’：只需¬梧桐山即可否定‘梧桐山且仙湖植物园’，误以为须确定仙湖植物园情况而错选C。
母题抽象
🧩 当题干出现多个‘如果…就／只有…才’连环条件句、且末尾附一个确定事实（如某人离开、某事发生）时，先翻译成‘前→后’命题链，再从确定事实出发沿链条连续使用‘否后必否前’（遇‘或／且’用德摩根处理），一推到底对照选项。
同类特征：如果…就…（充分条件）、只有…才…（必要条件）、或／且复合命题混用、连环假言可逆否、确定事实收尾（小雪回北方一个月）、由此可推知
相关题
题干
小方说：“我这个月如果去春游，就要去梧桐山和仙湖植物园，否则就不去；只有和小雪一起出门，我才会去梧桐山或七娘山；如果要和小雪一起出门，那么我一定要和她做好约定；如果要和她做好约定，她一定有时间，但因为怀念家乡，小雪休假回北方看望家人，为期一个月。” 由此可推知，小方这个月（ ）。
选项
- A. 没去春游 ✅
- B. 去了七娘山
- C. 去了仙湖植物园
- D. 和小雪一起出门
官方解析
第一步：翻译题干。
①小方去春游
梧桐山 且 仙湖植物园；
②
（梧桐山 且 仙湖植物园）小方去春游；
③梧桐山 或 七娘山小方和小雪一起；
④小方和小雪一起做好约定；
⑤做好约定小雪有时间；
⑥小雪有时间。
第二步：根据题干条件进行推理。
从确定信息条件⑥入手，“小雪有时间”是对条件⑤的否后，否后必否前，可以得出“做好约定”，是对条件④的否后，可以得出“小方和小雪一起”，排除D项；“小方和小雪一起”是对条件③的否后，可以得出“（梧桐山 或 七娘山）”，即“梧桐山 且 七娘山”，排除B项；否定且关系中的一项，即为对整体的否定，因此“梧桐山 且 七娘山”是对条件①的否后，可以得出“小方去春游”，对应A项。
故正确答案为A。
给定材料
（无）
疑点（官方解析可能有误，待人工复核）
官方解析存在明显符号脱漏（疑为排版丢失否定号与箭头）：条件⑥应为‘小雪没时间’而非‘小雪有时间’（其正文推理实际按否后处理）；‘得出（梧桐山或七娘山）即梧桐山且七娘山’应为‘¬（梧桐山或七娘山）即¬梧桐山且¬七娘山’；末句‘得出小方去春游’应为‘小方没去春游’。推理链条本身与答案A均无误。