已知：小澹台和小闾丘至少有一人要参加周五的隧道风机更换值守；如果小澹台参加，他就…
已知：小澹台和小闾丘至少有一人要参加周五的隧道风机更换值守；如果小澹台参加，他就要提前领取高空作业吊篮检验单。小澹台至今没有领取任何检验单。由此可以推出：
A. 小澹台不参加周五的隧道风机更换值守
B. 小闾丘参加周五的隧道风机更换值守
C. 小澹台和小闾丘都不参加周五的更换值守
D. 隧道风机已经吊装完毕且无需更换
答案与解析
正确答案：B
花生十三讲解
用翻译推理结合选言排除。条件翻译：小澹台参加→提前领取高空作业吊篮检验单；小澹台和小闾丘至少一人参加。小澹台至今没有领取任何检验单，由逆否'否后必否前'推出小澹台不参加。相容选言'至少一人参加'中小澹台一肢为假，则另一肢必真，即小闾丘参加周五的隧道风机更换值守，B正确。A与逆否推理矛盾；C违反'至少一人'前提；D风机吊装无据。确认答案为B。
原解析
“小澹台参加→提前领检验单”的逆否：未领检验单→小澹台不参加。至少一人参加，排除小澹台，故小闾丘参加。A与推理矛盾，C违反前提，D无据。