已知：小佴和小逄至少有一人要参加周日的顶管始发值守；如果小佴参加，他就要提前领取…
已知：小佴和小逄至少有一人要参加周日的顶管始发值守；如果小佴参加，他就要提前领取轴线复测交底单。小佴至今没有领取任何交底单。由此可以推出：
A. 小佴参加周日的始发值守且领取交底单
B. 小佴和小逄都不参加周日的值守工作
C. 小逄参加周日的顶管始发值守
D. 顶管机头已经完成吊装作业
答案与解析
正确答案：C
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小佴参加→提前领取轴线复测交底单'的逆否：未领交底单→小佴不参加。小佴至今没有领取任何交底单，故他不参加周日值守。又'小佴和小逄至少一人参加'，小佴被排除，由否定肯定式必然推出小逄参加，C正确。A与逆否结论矛盾，B违反'至少一人'前提，D机头吊装无据。确认答案为C。
原解析
“小佴参加→提前领交底单”的逆否：未领交底单→小佴不参加。至少一人参加，排除小佴，故小逄参加。A与推理矛盾，B违反前提，D无据。