已知：小郜和小蔺至少有一人要参加周五的隧道衬砌检测；如果小蔺参加，他就要提前领取…
已知：小郜和小蔺至少有一人要参加周五的隧道衬砌检测；如果小蔺参加，他就要提前领取空洞探测雷达。小蔺至今没有领取任何设备。由此可以推出：
A. 小蔺参加周五的衬砌检测
B. 两人都不参加检测
C. 小郜参加周五的衬砌检测
D. 隧道已封闭交通
答案与解析
正确答案：C
花生十三讲解
翻译推理之逆否加选言。'小蔺参加→提前领取空洞探测雷达'的逆否：未领设备→小蔺不参加。小蔺至今没有领取任何设备，故小蔺不参加周五的隧道衬砌检测。又已知小郜和小蔺至少一人参加，小蔺被排除后，小郜参加周五的衬砌检测，C正确。A与逆否推理矛盾；B两人都不参加违反前提；D隧道封闭无据。确认答案为C。
原解析
“小蔺参加→提前领探测雷达”的逆否：未领设备→小蔺不参加。至少一人参加，排除小蔺，故小郜参加。A与推理矛盾，B违反前提，D无据。