已知：如果图书馆延长开放到晚上十点，那么自习座位需要提前预约。又知：自习座位不需要提前预约。由此可以必然推出（ ）。
💡 提示（不含答案，本次正常计分）
第一步：将条件形式化。设 P＝「图书馆延长开放到晚上十点」，Q＝「自习座位需要提前预约」，前提为 P→Q。
点击选项立即判定长按可排除干扰项左右滑动切题练 3 道相似题
深度解析
正确答案
A
逐步解析
- 第一步：将条件形式化。设 P＝「图书馆延长开放到晚上十点」，Q＝「自习座位需要提前预约」，前提为 P→Q。
- 第二步：第二个前提「自习座位不需要提前预约」即 ¬Q。
- 第三步：对 P→Q 使用否定后件式（拒取式）：P→Q 且 ¬Q，必然推出 ¬P。
- 第四步：因此「图书馆延长开放到晚上十点」这一情况没有发生。其余选项：肯定 P 犯了「否定后件却肯定前件」的错误；Q 与前提 ¬Q 直接矛盾；「无法得出结论」错误，因为拒取式是有效推理。
易错点
易错点：混淆「否定前件」与「否定后件」。P→Q 否定前件（¬P）推不出 ¬Q，但否定后件（¬Q）必然推出 ¬P。
我的笔记
仅保存在本浏览器 · 输入后自动保存
纠错：这道题有问题？
已收到，感谢纠错！我们会尽快核查。
讨论区 · 分享解题思路与助记（匿名）
还没有讨论，来发第一条思路吧。
质量核验：生成模型 devin-manual-m1 · 判题模型 deepseek-reasoner 独立作答一致（双模型核验通过）
答题卡
对 错 未答