已知：小昝和小蔚至少有一人要参加周四的涵闸检修；如果小蔚参加，他就要提前领取防水…
已知：小昝和小蔚至少有一人要参加周四的涵闸检修；如果小蔚参加，他就要提前领取防水照明灯。小蔚至今没有领取任何装具。由此可以推出：
A. 小蔚参加周四的涵闸检修
B. 两人都不参加检修
C. 检修计划取消了
D. 小昝参加周四的涵闸检修
答案与解析
正确答案：D
花生十三讲解
用翻译推理结合选言排除。条件翻译：小蔚参加→提前领取防水照明灯；小昝和小蔚至少一人参加。小蔚至今没有领取任何装具，由逆否'否后必否前'推出小蔚不参加。相容选言'至少一人参加'中小蔚一肢为假，则另一肢必真，即小昝参加周四的涵闸检修，D正确。A与逆否推理矛盾；B违反'至少一人'前提；C检修取消无据。确认答案为D。
原解析
“小蔚参加→提前领防水照明灯”的逆否：未领装具→小蔚不参加。至少一人参加，排除小蔚，故小昝参加。A与推理矛盾，B违反前提，C无据。