翻译推理-假言命题逆否规则（否后必否前）结合选言命题否一推一

问法模型：以’如果丁做电工，则可以得出以下哪项’追加确定信息提问→从确定信息出发，沿选言否一推一与假言否后否前的连锁推理锁定必然结论

推理链

第1步：提取确定信息’丁做电工’，结合条件（3）‘丙或做瓦工，或做电工’，因每人只做一个工种，丙不能做电工，选言否一推一，得丙做瓦工
第2步：对条件（1）‘甲做焊工→丙做木工’用逆否规则：丙做瓦工即丙不做木工（否后），故甲不做焊工（否前）
第3步：对条件（2）‘乙水工或丁水工→甲做焊工’用逆否规则：甲不做焊工（否后），故乙不做水工且丁不做水工（否前）
第4步：汇总已定与已排除信息：丁做电工、丙做瓦工、甲不做焊工、乙不做水工；乙不能做电工（丁占）、不能做瓦工（丙占）、不能做水工（已排除），故乙只能在焊工、木工之中
第5步：逐项对照：A项’甲或做焊工，或做水工’与’甲不做焊工’矛盾且甲做水工不必然；C项’丙或做木工，或做焊工’与’丙做瓦工’矛盾；D项’戊或做水工，或做焊工’不必然（甲若做水工、乙若做焊工时戊做木工）；B项’乙或做焊工，或做木工’在所有可能分配下均成立
第6步：结论：只有B项是必然得出的，故选B

最快解法：⚡ 逆否连锁法：丁电工→丙非电工→由（3）否一推一丙做瓦工→由（1）否后否前甲非焊工→由（2）否后否前乙、丁非水工→乙被排除电工、瓦工、水工后只剩焊工或木工，直接选B

🧩 当题干出现多条’如果…则…’与’或…或…’条件、并追加一个确定信息（‘如果X则可得出哪项’）时，从确定信息出发，用’选言否一推一＋假言否后否前’连环推理，逐一排除后锁定必然结论

同类特征：五人五岗一一对应、每人只做一个工种、如果…则…假言条件、或做A或做B选言条件、追加确定信息求必然结论、逆否推理