已知：小樊和小蔚至少有一人要参加周五的箱梁架设对位值守；如果小蔚参加，她就要提前…
已知：小樊和小蔚至少有一人要参加周五的箱梁架设对位值守；如果小蔚参加，她就要提前领取对位观测棱镜组。小蔚至今没有领取任何器材。由此可以推出：
A. 小蔚参加周五的对位值守
B. 两人都不参加值守
C. 小樊参加周五的对位值守
D. 架桥机已就位
答案与解析
正确答案：C
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小蔚参加→提前领取对位观测棱镜组'的逆否：未领器材→小蔚不参加。小蔚至今没有领取任何器材，故她不参加周五值守。又'小樊和小蔚至少一人参加'，小蔚被排除，由否定肯定式必然推出小樊参加，C正确。A与逆否结论矛盾，B违反'至少一人'前提，D架桥机就位无据。确认答案为C。
原解析
“小蔚参加→提前领棱镜组”的逆否：未领器材→小蔚不参加。至少一人参加，排除小蔚，故另一人参加。A与推理矛盾，B违反前提，D无据。