已知：小甯和小訾至少有一人要参加周日的环湖骑行；如果小甯参加，他就要提前检修变速…
已知：小甯和小訾至少有一人要参加周日的环湖骑行；如果小甯参加，他就要提前检修变速器。小甯至今没有检修任何部件。由此可以推出：
A. 小甯参加周日的环湖骑行
B. 小訾参加周日的环湖骑行
C. 两人都不参加骑行
D. 骑行路线改道了
答案与解析
正确答案：B
花生十三讲解
翻译推理之逆否加选言。'小甯参加→提前检修变速器'的逆否：未检修→小甯不参加。小甯至今没有检修任何部件，故小甯不参加周日的环湖骑行。又已知小甯和小訾至少一人参加，小甯被排除后，小訾参加周日的环湖骑行，B正确。A与逆否推理矛盾；C两人都不参加违反前提；D路线改道是无据猜测。确认答案为B。
原解析
“小甯参加→提前检修”的逆否：未检修→小甯不参加。至少一人参加，排除小甯，故小訾参加。A与推理矛盾，C违反前提，D无据。