真假话推理-假设法（代入排除）
问法模型：题干给出多人对’撒谎人数’各执一词的断言，问’说真话的是谁’ → 采用假设法逐一代入验证自洽性（排除法）
推理链
- 第1步：翻译题干——甲称’有一个人在撒谎’，乙称’有两个人在撒谎’，丙称’有三个人在撒谎’，丁称’有四个人在撒谎’，戊称’五个人全都在撒谎’，五句话对撒谎人数的断定互不相容
- 第2步：解题规则——用假设法，逐一假设某人说话为真，则其余四人皆为假话（即四人撒谎），检验是否与假设者的话自洽
- 第3步：假设甲为真→撒谎人数应为1，但乙丙丁戊皆假即4人撒谎，与甲’一人撒谎’矛盾，排除A
- 第4步：假设乙为真→撒谎人数应为2，但甲丙丁戊皆假即4人撒谎，与乙’两人撒谎’矛盾，排除C；同理丙为真时4人撒谎也与’三人撒谎’矛盾
- 第5步：假设戊为真→‘五人全都在撒谎’，但戊说真话与该断言直接自相矛盾，排除D
- 第6步：假设丁为真→撒谎人数为4，恰好甲乙丙戊四人皆说假话，与丁’有四个人在撒谎’相符，无矛盾，B当选
最快解法：⚡ 假设法+排除：由五句话互斥可知至多一人说真话，即至少四人撒谎；‘四人撒谎’恰与丁的断言吻合，而戊若为真则自我矛盾，故唯一自洽者为丁，直接锁定B
易错点
- ⚠ 忽略’假设某人为真则其余四人必为假话’这一前提，导致人数对不上却未察觉矛盾
- ⚠ 误以为戊的话是纯粹的自指悖论而不敢下手，其实代入即可发现戊若为真必自我否定
- ⚠ 误认为可能有多人同时说真话，未意识到关于撒谎人数的五种断言互不相容、至多一真
母题抽象
🧩 当题干出现’多人对同一数量各执一词、说法互斥’的特征时，用假设法（或’至多一真’归约），验证’假设某人为真后其余人皆假’是否与该人的断言自洽
同类特征：五人各作一断言、断言内容为撒谎人数且互斥、问谁说真话、假设逐一代入、真假话相关性
相关题
- 2136670（河南 2017，相关度1）
题干
有一天，甲、乙、丙、丁、戊五个外国商人坐在一起聊天。甲说：“我们五人中有一个人在撒谎”；乙说：“我们五人中有两个人在撒谎”；丙说：“我们五人中有三个人在撒谎”；丁说：“我们五人中有四个人在撒谎”；戊说：“我们五个人全都在撒谎”。由此，可推出他们之中说真话的是：
选项
- A. 甲和戊
- B. 丁 ✅
- C. 乙和丙
- D. 戊
官方解析
第一步：翻译题干信息。 甲：有一个人在撒谎，其他四个说的是真话； 乙：有两个人在撒谎，其他三个说的是真话； 丙：有三个人在撒谎，其他两个说的是真话； 丁：有四个人在撒谎，有一个说的是真话； 戊：五个人都在撒谎。 甲乙丙丁戊说的话真假存在相关性，假设甲说的是真话，那么乙丙丁戊说的都是假话，与甲矛盾，排除A项；假设乙说的是真话，那么甲丙丁戊说的都是假话，与乙矛盾，排除C项；假设戊说的是真话，那么甲乙丙丁说的都是假话，与戊矛盾，排除D项；只有当丁说的是真话，那么甲乙丙戊说的都是假话，与丁相符，B项当选。 故正确答案为B。
给定材料
（无）