已知：小衡和小甄至少有一人要参加周日的斜拉索张拉值守；如果小衡参加，他就要提前领…
已知：小衡和小甄至少有一人要参加周日的斜拉索张拉值守；如果小衡参加，他就要提前领取索力监测交底卡。小衡至今没有领取任何交底卡。由此可以推出：
A. 小衡参加周日的斜拉索张拉值守工作
B. 小衡和小甄两人都不参加周日的值守
C. 小甄参加周日的斜拉索张拉值守
D. 斜拉索张拉值守工作已经全部完成
答案与解析
正确答案：C
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：小衡参加斜拉索张拉值守→提前领取索力监测交底卡。逆否等价：没有领取交底卡→小衡不参加。小衡至今未领任何交底卡，故不参加；又两人至少一人参加，相容选言否定一肢则另一肢必真，推出小甄参加周日的张拉值守，C正确。A与推理矛盾；B违反至少一人参加的前提；D索塔封顶无据。确认答案为C。
原解析
“小衡参加→提前领交底卡”的逆否：未领交底卡→小衡不参加。至少一人参加，排除小衡，故小甄参加。A与推理矛盾，B违反前提，D无据。