已知：小蔺和小訾至少有一人要参加周一的支座脱空检测；如果小訾参加，他就要提前领取…
已知：小蔺和小訾至少有一人要参加周一的支座脱空检测；如果小訾参加，他就要提前领取冲击回波仪。小訾至今没有领取任何仪器。由此可以推出：
A. 小訾参加周一的脱空检测
B. 小蔺参加周一的脱空检测
C. 两人都不参加检测
D. 支座已经更换
答案与解析
正确答案：B
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：小訾参加脱空检测→提前领取冲击回波仪。逆否等价：没有领取仪器→小訾不参加。小訾至今未领任何仪器，故不参加；又两人至少一人参加，相容选言否定一肢则另一肢必真，推出小蔺参加周一的脱空检测，B正确。A与推理矛盾；C违反至少一人参加的前提；D支座更换无据。确认答案为B。
原解析
“小訾参加→提前领回波仪”的逆否：未领仪器→小訾不参加。至少一人参加，排除小訾，故另一人参加。A与推理矛盾，C违反前提，D无据。