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