甲、乙、丙、丁和戊 5 人到赵村、李村、陈村、王村 4 村驻村考察，每人只去一个…
甲、乙、丙、丁和戊 5 人到赵村、李村、陈村、王村 4 村驻村考察，每人只去一个村，每个村至少去 1 人。已知： （1）若甲或乙至少有 1 人去赵村，则丁去王村且戊不去王村； （2）若乙去赵村或丁去王村，则戊去王村而甲不去陈村； （3）若丁、戊并非都去王村，则甲去赵村。 根据以上陈述，可以得出下列 项。
A. 甲去李村，乙去赵村
B. 乙去陈村，丙去赵村
C. 丙去赵村，丁去李村
D. 丁去赵村，戊去王村
答案与解析
正确答案：B
花生十三讲解
用翻译推理的反设与代入法。先看(3)：假设丁、戊并非都去王村，则甲去赵村；甲去赵村触发(1)，丁去王村且戊不去王村；丁去王村又触发(2)，戊去王村，与'戊不去王村'矛盾。故丁、戊都去王村。丁去王村触发(2)：甲不去陈村；又因戊去王村，由(1)的逆否可知甲、乙都不去赵村。五人四村各至少1人，丁戊已占王村，赵村只能由丙去；剩下甲、乙分去李村与陈村，甲不去陈村，故甲去李村、乙去陈村。确认答案为B。
原解析
若乙去赵村，则(1)(2)分别推出戊不去王村和戊去王村，矛盾，故乙不去赵村。若甲去赵村，则(1)推出丁去王村，又由(2)推出戊去王村，与(1)的戊不去王村矛盾，故甲不去赵村。由(3)逆否得丁、戊都去王村；由(2)得甲不去陈村。丁戊已占王村，且5人分4村只能有一个2人村，所以甲也不能去王村；甲又不去赵、陈，只能去李村。剩余乙、丙分到赵、陈，乙不去赵，故乙去陈、丙去赵。