已知：小昝和小蒙至少有一人要参加周三的斜拉桥合龙值守；如果小昝参加，他就要提前领…
已知：小昝和小蒙至少有一人要参加周三的斜拉桥合龙值守；如果小昝参加，他就要提前领取合龙段配切交底书。小昝至今没有领取任何交底书。由此可以推出：
A. 小昝参加周三的斜拉桥合龙值守
B. 小昝和小蒙都不参加周三值守
C. 小蒙参加周三的斜拉桥合龙值守
D. 主梁已经完成顶推施工
答案与解析
正确答案：C
花生十三讲解
用翻译推理结合选言排除。条件翻译：小昝参加→提前领取合龙段配切交底书；小昝和小蒙至少一人参加。小昝至今没有领取任何交底书，由逆否'否后必否前'推出小昝不参加。相容选言'至少一人参加'中小昝一肢为假，则另一肢必真，即小蒙参加周三的斜拉桥合龙值守，C正确。A与逆否推理矛盾；B违反'至少一人'前提；D主梁顶推无据。确认答案为C。
原解析
“小昝参加→提前领交底书”的逆否：未领交底书→小昝不参加。至少一人参加，排除小昝，故小蒙参加。A与推理矛盾，B违反前提，D无据。