已知：小从和小池至少有一人要参加周日的船闸人字门检修值守；如果小从参加，他就要提…
已知：小从和小池至少有一人要参加周日的船闸人字门检修值守；如果小从参加，他就要提前领取启闭机运行记录本。小从至今没有领取任何本册。由此可以推出：
A. 小池参加周日的人字门检修值守
B. 小从参加周日的检修值守并领取记录本
C. 小从和小池均不参加周日的值守工作
D. 闸室已经排空且无需进行检修
答案与解析
正确答案：A
花生十三讲解
用翻译推理结合选言排除。条件翻译：小从参加→提前领取启闭机运行记录本；小从和小池至少一人参加。小从至今没有领取任何本册，由逆否'否后必否前'推出小从不参加。相容选言'至少一人参加'中小从一肢为假，则另一肢必真，即小池参加周日的人字门检修值守，A正确。B与逆否推理矛盾；C违反'至少一人'前提；D闸室排空无据。确认答案为A。
原解析
“小从参加→提前领记录本”的逆否：未领本册→小从不参加。至少一人参加，排除小从，故小池参加。B与推理矛盾，C违反前提，D无据。