翻译推理-假言命题连锁与逆否归谬（多条件综合推理）
考点：逻辑判断 / 翻译推理-假言命题连锁与逆否归谬（多条件综合推理）
问法模型：问’下列选项肯定为假的是’→对每个选项假设其为真做归谬，能推出与题干假言条件或监狱长三重组合条件（覆盖/重合/数量）矛盾者，即为肯定为假的选项。
推理链
- 第1步：由①’甲贪→乙贪’与②’乙贪→甲贪’互推可得’甲贪污’与’乙贪污’同真同假；再结合④’每种罪行至少被其中一人所犯’，若甲乙都不贪污，则丙必贪污。
- 第2步：用④’有两人所犯罪行完全相同、有一人仅犯一种罪’检验’甲乙都不贪污’的情形：丙既含贪污，能与他人相同的只能是甲乙，而甲乙同犯泄密会经②③’乙泄密→丙泄密→甲泄密’连锁、同犯走私则泄密无人犯或触发’乙走私→丙不走私’，均与④冲突，故甲、乙必定都贪污。
- 第3步：在’甲乙都贪污’前提下排除’甲乙罪行相同’：同为{贪污}则泄密无人犯、含泄密则丙被迫泄密并走私致无人’仅犯一种罪’、含走私则与①’甲走私→丙走私’或③’乙走私→丙不走私’纠缠矛盾，故完全相同的两人只能是’甲丙’或’乙丙’。
- 第4步：反证C项’丙没有泄密’：由②’乙泄密→丙泄密’的逆否（否后推否前）得’丙不泄密→乙不泄密’，而泄密必须有人犯，故泄密只能由甲一人犯，于是甲含’贪污+泄密’而丙无泄密，‘甲丙相同’被排除。
- 第5步：若’乙丙相同’，则二人同含贪污且均无泄密；走私若由甲犯，经①’甲走私→丙走私’及’乙丙相同’推出乙走私，再经③’乙走私→丙不走私’自相矛盾，走私由乙丙触犯亦同样矛盾，最终走私无人犯，违反④’每种罪行至少一人所犯’，假设不成立。
- 第6步：故’丙没有泄密’在任何满足题干的罪行分配中均不成立，C肯定为假；而D可由反例’甲丙同犯贪污、走私、泄密，乙仅犯贪污’成立为真（A、B在该反例中亦为真），均非’肯定为假’。
最快解法：⚡ 归谬反证法+逆否连锁：先用’甲贪⇄乙贪’加’每罪至少一人’锁定’甲乙必都贪污’；再假设C为真’丙不泄密’，经②逆否得’乙不泄密’、泄密只能归甲，逐一检验’两人相同’的配对必与走私/泄密覆盖条件矛盾，故C必假。
易错点
- ⚠ 只验证三条假言命题本身是否被满足，漏用’每种罪行至少一人所犯’的覆盖条件，导致归谬链条断裂
- ⚠ 未对’甲乙相同、甲丙相同、乙丙相同’三种配对逐一排除，尤其漏掉’甲乙相同’的情形
- ⚠ 由’丙不泄密’推’乙不泄密’时忘记使用逆否等价（否后推否前），误以为②与丙的泄密情况无关
- ⚠ 对’有一人仅犯一种罪’的存在性/唯一性理解偏差，影响’甲乙都不贪污’情形的排除
母题抽象
🧩 当题干出现’多条如果A则B型假言+覆盖（每类至少一人）、重合（两人完全相同）、数量（一人仅一种）三重组合条件’且问’肯定为假’时，先正反连锁合并假言锁定必真结论，再对每个选项假设为真做归谬，与组合条件冲突者即为答案。
同类特征：多重假言命题（如果…那么…）、三人三罪的对应分配、每种罪行至少一人所犯、两人所犯罪行完全相同、一人仅犯一种罪、问’肯定为假’的选项
相关题
（暂无）
题干
甲、乙、丙三个贪官在狱中同住一室，谈及自己所犯的罪，个个都悔不当初。三人经过一番推心置腹，对各自所犯罪行都心知肚明。 甲说：“如果我贪污，那么乙也贪污；如果我走私，那么丙也走私。” 乙说：“如果我泄密，那么丙也泄密；如果我贪污，那么甲也贪污。” 丙说：“如果我泄密，那么甲也泄密；如果乙走私，那我可不走私。” 监狱长说：“贪污、泄密、走私三种罪行，每种都至少被其中一人所犯；有两人所犯罪行完全相同；有一人仅犯一种罪。” 如果上述言论均为真，下列选项肯定为假的是（ ）。
选项
- A. 甲至少犯贪污罪
- B. 乙没有走私
- C. 丙没有泄密 ✅
- D. 甲与丙罪行相同
官方解析
第一步：翻译题干。
① 甲贪
乙贪；甲走私丙走私
② 乙泄密丙泄密；乙贪污甲贪污
③ 丙泄密甲泄密；乙走私-丙走私
④ 每种罪行都至少被其中一人所犯，有两人所犯罪行完全相同。
将条件综合可得：
甲贪乙贪甲贪、甲走私丙走私-乙走私、乙泄密丙泄密甲泄密。
第二步：逐一分析选项。
A项：甲若不犯贪污罪，那么乙一定没贪污，可知丙贪污，又根据“甲走私丙走私-乙走私”，则甲乙、甲丙、乙丙不可能有两个人所犯罪行相同，不符合题干条件④，可知甲至少犯了贪污罪，排除；
B项：乙没有走私，由A选项可知甲、乙贪污，则当甲、丙犯了贪污、走私、泄密，乙仅犯了贪污罪时，可以满足题干条件，排除；
C项：由A选项可知甲、乙一定都犯了贪污罪，则甲乙、甲丙不可能犯罪完全相同。由选项C丙没有泄密，可知乙也没有泄密那甲一定犯了泄密罪，则乙丙既不可能犯同一罪行，也不可能只犯一个罪行，故该选项一定为假，当选；
D项：由“乙泄密丙泄密甲泄密”可知，甲丙所犯罪行可以相同，排除。
故正确答案C。
给定材料
（无）
疑点（官方解析可能有误，待人工复核）
官方解析A步断言’丙贪污时甲乙、甲丙、乙丙不可能有两人罪行相同’，但未说明如何排除’甲乙均仅犯泄密、丙犯贪污走私泄密’这一情形（只有把’有一人仅犯一种罪’理解为’恰有一人’时该情形才被排除）；经独立归谬验证此漏洞不影响最终答案C的成立。