已知：小前和小红至少有一人要参加周二的幕墙拉索检测；如果小前参加，他就要提前领取…
已知：小前和小红至少有一人要参加周二的幕墙拉索检测；如果小前参加，他就要提前领取索力动测仪。小前至今没有领取任何仪器。由此可以推出：
A. 小前参加周二的拉索检测
B. 小红参加周二的拉索检测
C. 两人都不参加检测
D. 拉索已经张拉
答案与解析
正确答案：B
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小前参加→提前领取索力动测仪'的逆否：未领仪器→小前不参加。小前至今没有领取任何仪器，故他不参加周二检测。又'小前和小红至少一人参加'，小前被排除，由否定肯定式必然推出小红参加，B正确。A与逆否结论矛盾，C违反'至少一人'前提，D拉索张拉无据。确认答案为B。
原解析
“小前参加→提前领动测仪”的逆否：未领仪器→小前不参加。至少一人参加，排除小前，故小红参加。A与推理矛盾，C违反前提，D无据。