已知：小訾和小茹至少有一人要参加周日的沉管对接值守；如果小訾参加，他就要提前领取…
已知：小訾和小茹至少有一人要参加周日的沉管对接值守；如果小訾参加，他就要提前领取拉合精调交底书。小訾至今没有领取任何交底书。由此可以推出：
A. 小訾参加周日的沉管对接值守
B. 小訾和小茹都不参加周日的值守
C. 小茹参加周日的沉管对接值守
D. 沉管对接值守已经顺利完成
答案与解析
正确答案：C
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：小訾参加沉管对接值守→提前领取拉合精调交底书。逆否等价：没有领取交底书→小訾不参加。小訾至今未领任何交底书，故不参加；又两人至少一人参加，相容选言否定一肢则另一肢必真，推出小茹参加周日的沉管对接值守，C正确。A与推理矛盾；B违反至少一人参加的前提；D管节沉放无据。确认答案为C。
原解析
“小訾参加→提前领交底书”的逆否：未领交底书→小訾不参加。至少一人参加，排除小訾，故小茹参加。A与推理矛盾，B违反前提，D无据。