已知：如果小宓参加机器人社，那么他每周三晚上调试样机；如果每周三晚上调试样机，那…
已知：如果小宓参加机器人社，那么他每周三晚上调试样机；如果每周三晚上调试样机，那么他无法参加周三晚上的合唱团排练。小宓本学期每周三晚上都在参加合唱团排练。由此可以推出：
A. 合唱团即将比赛
B. 小宓参加了机器人社
C. 机器人社更换了活动室
D. 小宓没有参加机器人社
答案与解析
正确答案：D
花生十三讲解
题干是连锁推理：参加机器人社→周三调试样机→无法参加合唱团排练；但已知小宓周三参加合唱团排练，即否定了后件，根据逆否规则推出他没有参加机器人社。A项‘合唱团即将比赛’、C项‘机器人社更换活动室’均与题干无关，直接排除；B项与推理结论相反，排除。确认答案为D。速记：肯前必肯后，否后必否前。
原解析
连锁“参加→周三调试→无法排练”。每周三都在排练即能排练，否定末件逐级逆否：不调试、未参加机器人社。B与推理矛盾，C、A与题干不符。