已知：小郏和小蔺至少有一人要参加周六的斜井提升检修值守；如果小郏参加，他就要提前…
已知：小郏和小蔺至少有一人要参加周六的斜井提升检修值守；如果小郏参加，他就要提前领取钢丝绳探伤记录本。小郏至今没有领取任何记录本。由此可以推出：
A. 小郏参加周六的检修值守工作
B. 小蔺参加周六的提升检修值守
C. 两人都不参加周六的值守工作
D. 绞车已经停运且无法检修
答案与解析
正确答案：B
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小郏参加→提前领取钢丝绳探伤记录本'的逆否：未领记录本→小郏不参加。小郏至今没有领取任何记录本，故他不参加周六值守。又'小郏和小蔺至少一人参加'，小郏被排除，由否定肯定式必然推出小蔺参加，B正确。A与逆否结论矛盾，C违反'至少一人'前提，D绞车停运无据。确认答案为B。
原解析
“小郏参加→提前领记录本”的逆否：未领记录本→小郏不参加。至少一人参加，排除小郏，故小蔺参加。A与推理矛盾，C违反前提，D无据。