翻译推理-逆否规则（否后必否前）+相容选言不定性+排除法
考点：逻辑判断 / 翻译推理-逆否规则（否后必否前）+相容选言不定性+排除法
问法模型：‘由上述事实可以推出下列哪一项’→ 先翻译条件命题并借确定事实做逆否推理，锁定确定结论后结合选项用排除法筛选
推理链
- 第1步：翻译条件（1）‘如果张三和李四都申请了公租房，则陈六没有申请’为：张三申请∧李四申请→陈六没申请；条件（2）给出两个确定事实：陈六申请了、王五的陈述合乎事实；条件（3）给出王五陈述内容：张三没有申请公租房
- 第2步：由（2）（3）联动，王五的陈述合乎事实→‘张三没有申请公租房’为真，这是第一个确定结论；‘陈六申请了’是第二个确定结论
- 第3步：‘陈六申请了’即条件（1）后件’陈六没有申请’为假，否后必否前，得并非（张三申请∧李四申请），等价于’张三没申请 或 李四没申请’这一相容选言命题
- 第4步：该选言中’张三没申请’一肢已确定为真，则另一肢’李四没申请’真假不定，即李四是否申请无法推出
- 第5步：逐项对照——B项断言’张三申请了’，与确定结论’张三没有申请’直接矛盾，排除
- 第6步：A项’李四和陈六都申请了’、D项’李四申请了，张三没有申请’均含’李四申请了’的不定断言（且若A为真结合张三没申请则D也为真，无法唯一），排除
- 第7步：C项’陈六和王五都申请了公租房’中陈六申请已由（2）确定为真，逐项排除后锁定C为正确答案
最快解法：⚡ 排除法：先用两个铁事实’陈六申请了＋张三没申请’（由条件2、3直接联动得出）秒排B；再用’李四申请与否不确定’排除含此断言的A、D；剩余C即为答案，全程不需纠结王五是否申请
易错点
- ⚠ 选言肢不定性：否后得’张三没申请 或 李四没申请’后，一肢为真不能否定另一肢，易误以为李四一定没申请而错选B或D
- ⚠ 官方解析笔误干扰：解析将条件（3）写成’张三申请公租房’，与题干’张三没有申请’不符，若照抄解析字面会推出自相矛盾结论
- ⚠ 纠结C项中’王五申请了’找不到题干直接依据而犹豫，本题实为非常规题，需信任排除法结果而非强求正面推出
母题抽象
🧩 当题干出现’如果A且B，则C’加一个否定C的确定事实时，用否后必否前得’非A或非B’，再叠加另一确定事实后，凡涉及不定肢的选项一律排除，唯一残留选项即为答案
同类特征：如果…则…的条件命题、‘陈六申请了’直接否定后件、‘王五的陈述合乎事实’的真值转化、多个确定事实叠加、由上述事实可以推出、选项均为复合断言、含共同不定词’李四’
相关题
（暂无）
题干
经过调查核实，公租房受理中心确定了如下事实： （1）如果张三和李四都申请了公租房，则陈六没有申请； （2）陈六申请了公租房，而且王五的陈述合乎事实； （3）王五的陈述：张三没有申请公租房。 由上述事实可以推出下列 项。
选项
- A. 李四和陈六都申请了公租房
- B. 李四没有申请公租房，张三申请了
- C. 陈六和王五都申请了公租房 ✅
- D. 李四申请了公租房，张三没有申请
官方解析
第一步：翻译题干。
（1）张三申请公租房 且 李四申请公租房
陈六申请公租房；
（2）陈六申请公租房 且 王五的陈述合乎事实；
（3）王五的陈述：张三申请公租房。
第二步：根据题干条件进行推理。
根据条件（2）（3）可得“陈六申请公租房”“张三申请公租房”，排除B项；“陈六申请公租房”是对条件（1）的否后，否后必否前，可得“张三申请公租房” 或 “李四申请公租房”，已知“张三申请公租房”为真，则“李四申请公租房”可能为真，也可能为假，若A项为真，则D项也为真，反之亦成立，因此排除A、D两项。
故正确答案为C。
注：该题不太常规，需结合选项用排除法才可解题，掌握相关的翻译规则即可。
给定材料
（无）
疑点（官方解析可能有误，待人工复核）
官方解析存在两处瑕疵：①解析将条件（3）误写为’王五的陈述：张三申请公租房’，与题干’张三没有申请公租房’不符，导致’根据条件（2）（3）可得张三申请公租房’的表述与题干直接矛盾（正确应为推出’张三没有申请’）；②C项中’王五申请了公租房’在题干条件中并无直接依据（题干仅说王五的陈述合乎事实，未说王五申请），官方解析亦未解释此点，答案C实际只能靠排除B、A、D间接得出。依铁律不改官方答案C，仅在此存疑。