已知：小谷和小蒲至少有一人要参加周日的高空幕墙检修；如果小蒲参加，他就要提前领取…
已知：小谷和小蒲至少有一人要参加周日的高空幕墙检修；如果小蒲参加，他就要提前领取差速自控器。小蒲至今没有领取任何装具。由此可以推出：
A. 小谷参加周日的幕墙检修
B. 小蒲参加周日的幕墙检修
C. 两人都不参加检修
D. 幕墙胶缝完好
答案与解析
正确答案：A
花生十三讲解
用翻译推理结合选言排除。条件翻译：小蒲参加→提前领取差速自控器；小谷和小蒲至少一人参加。小蒲至今没有领取任何装具，由逆否'否后必否前'推出小蒲不参加。相容选言'至少一人参加'中小蒲一肢为假，则另一肢必真，即小谷参加周日的高空幕墙检修，A正确。B与逆否推理矛盾；C违反'至少一人'前提；D胶缝完好无据。确认答案为A。
原解析
“小蒲参加→提前领自控器”的逆否：未领装具→小蒲不参加。至少一人参加，排除小蒲，故小谷参加。B与推理矛盾，C违反前提，D无据。