已知：小司徒和小濮阳至少有一人要参加周六的过江隧道通风检修值守；如果小司徒参加，…
已知：小司徒和小濮阳至少有一人要参加周六的过江隧道通风检修值守；如果小司徒参加，他就要提前领取风机振动测试卡。小司徒至今没有领取任何测试卡。由此可以推出：
A. 小濮阳参加周六的过江隧道通风检修值守
B. 小司徒参加周六的过江隧道通风检修值守
C. 小司徒和小濮阳都不参加周六的过江隧道通风检修值守
D. 风机已经更换完毕且小司徒不参加值守
答案与解析
正确答案：A
花生十三讲解
用翻译推理解题。条件一：小司徒参加→提前领取风机振动测试卡，逆否得：未领测试卡→小司徒不参加。小司徒至今未领任何测试卡，故他不参加值守。又知小司徒和小濮阳至少有一人参加，排除小司徒后，必是小濮阳参加周六值守，A正确。B与逆否结论矛盾，C违反至少一人的前提，D风机更换无据。确认答案为A。
原解析
“小司徒参加→提前领测试卡”的逆否：未领测试卡→小司徒不参加。至少一人参加，排除小司徒，故小濮阳参加。B与推理矛盾，C违反前提，D无据。