已知：小竺和小别至少有一人要参加周三的边坡锚杆拉拔试验；如果小竺参加，他就要提前…
已知：小竺和小别至少有一人要参加周三的边坡锚杆拉拔试验；如果小竺参加，他就要提前领取穿心千斤顶。小竺至今没有领取任何设备。由此可以推出：
A. 小竺参加周三的拉拔试验
B. 两人都不参加试验
C. 小别参加周三的拉拔试验
D. 锚杆已经注浆
答案与解析
正确答案：C
花生十三讲解
用翻译推理结合选言排除。条件翻译：小竺参加→提前领取穿心千斤顶；小竺和小别至少一人参加。小竺至今没有领取任何设备，由逆否'否后必否前'推出小竺不参加。相容选言'至少一人参加'中小竺一肢为假，则另一肢必真，即小别参加周三的边坡锚杆拉拔试验，C正确。A与逆否推理矛盾；B违反'至少一人'前提；D锚杆注浆无据。确认答案为C。
原解析
“小竺参加→提前领千斤顶”的逆否：未领设备→小竺不参加。至少一人参加，排除小竺，故小别参加。A与推理矛盾，B违反前提，D无据。