已知：小夹谷和小微生至少有一人要参加周四的顶管掘进值守；如果小夹谷参加，他就要提…
已知：小夹谷和小微生至少有一人要参加周四的顶管掘进值守；如果小夹谷参加，他就要提前领取触变泥浆记录本。小夹谷至今没有领取任何记录本。由此可以推出：
A. 小微生参加周四的顶管掘进值守
B. 小夹谷参加周四的顶管掘进值守
C. 小夹谷和小微生都不参加值守
D. 顶管掘进机头已经顺利出洞
答案与解析
正确答案：A
花生十三讲解
翻译推理之逆否加选言。'小夹谷参加→提前领取触变泥浆记录本'的逆否：未领记录本→小夹谷不参加。小夹谷至今没有领取任何记录本，故小夹谷不参加周四的顶管掘进值守。又已知小夹谷和小微生至少一人参加，小夹谷被排除后，小微生参加周四的值守，A正确。B与逆否推理矛盾；C两人都不参加违反前提；D机头出洞无据。确认答案为A。
原解析
“小夹谷参加→提前领记录本”的逆否：未领记录本→小夹谷不参加。至少一人参加，排除小夹谷，故小微生参加。B与推理矛盾，C违反前提，D无据。