已知：小司空和小巫马至少有一人要参加周一的沉井下沉值守；如果小司空参加，他就要提…
已知：小司空和小巫马至少有一人要参加周一的沉井下沉值守；如果小司空参加，他就要提前领取下沉观测记录簿。小司空至今没有领取任何记录簿。由此可以推出：
A. 小司空参加周一的下沉值守工作
B. 小巫马参加周一的沉井下沉值守
C. 小司空和小巫马都不参加值守
D. 沉井刃脚已经着床并稳定
答案与解析
正确答案：B
花生十三讲解
翻译推理之逆否加选言。'小司空参加→提前领取下沉观测记录簿'的逆否：未领记录簿→小司空不参加。小司空至今没有领取任何记录簿，故小司空不参加周一的沉井下沉值守。又已知小司空和小巫马至少一人参加，小司空被排除后，小巫马参加周一的值守，B正确。A与逆否推理矛盾；C两人都不参加违反前提；D刃脚着床无据。确认答案为B。
原解析
“小司空参加→提前领记录簿”的逆否：未领记录簿→小司空不参加。至少一人参加，排除小司空，故小巫马参加。A与推理矛盾，C违反前提，D无据。