逻辑判断 / 翻译推理-组合约束（假设法+逆否规则+代入排除）

1 题 · 1 个地区 · 2019年

核心立场（母题抽象）

• 🧩 当题干给出多个'二者只居其一''至少一人''同去同不去''A→B'等复合约束求必真结论时，先用选项代入对撞硬约束排除，再用假设法沿约束链传导找矛盾，最后用逆否规则收尾确定答案

真题（跨卷聚合）

• 2394049 青海 2019 — 翻译推理-组合约束（假设法+逆否规则+代入排除）