已知：小欧和小蔺至少有一人要参加周五的斜拉索张拉值守；如果小欧参加，他就要提前领…
已知：小欧和小蔺至少有一人要参加周五的斜拉索张拉值守；如果小欧参加，他就要提前领取索力监测记录表。小欧至今没有领取任何表册。由此可以推出：
A. 小欧参加周五的张拉值守
B. 两人都不参加值守
C. 锚具已经安装
D. 小蔺参加周五的张拉值守
答案与解析
正确答案：D
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：小欧参加张拉值守→提前领取索力监测记录表。逆否等价：没有领取表册→小欧不参加。小欧至今未领任何表册，故不参加；又两人至少一人参加，相容选言否定一肢则另一肢必真，推出小蔺参加周五的张拉值守，D正确。A与推理矛盾；B违反至少一人参加的前提；C锚具安装无据。确认答案为D。
原解析
“小欧参加→提前领记录表”的逆否：未领表册→小欧不参加。至少一人参加，排除小欧，故小蔺参加。A与推理矛盾，B违反前提，C无据。