已知：小池和小充至少有一人要参加周六的储罐清洗；如果小充参加，他就要提前领取长管…
已知：小池和小充至少有一人要参加周六的储罐清洗；如果小充参加，他就要提前领取长管呼吸器。小充至今没有领取任何装具。由此可以推出：
A. 小池参加周六的储罐清洗
B. 小充参加周六的储罐清洗
C. 两人都不参加清洗
D. 储罐已完成置换
答案与解析
正确答案：A
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小充参加→提前领取长管呼吸器'的逆否：未领装具→小充不参加。小充至今没有领取任何装具，故他不参加周六清洗。又'小池和小充至少一人参加'，小充被排除，由否定肯定式必然推出小池参加，A正确。B与逆否结论矛盾，C违反'至少一人'前提，D置换情况无据。确认答案为A。
原解析
“小充参加→提前领呼吸器”的逆否：未领装具→小充不参加。至少一人参加，排除小充，故小池参加。B与推理矛盾，C违反前提，D无据。