已知：如果小夔参加机器人社，那么他每周三下午调试设备；如果每周三下午调试设备，那…
已知：如果小夔参加机器人社，那么他每周三下午调试设备；如果每周三下午调试设备，那么他无法参加周三下午的游泳课。小夔本学期每周三下午都在上游泳课。由此可以推出：
A. 小夔参加了机器人社且每周三调试设备
B. 机器人社暂停了活动且游泳课照常进行
C. 小夔没有参加机器人社
D. 游泳课更换了教练且机器人社正常活动
答案与解析
正确答案：C
花生十三讲解
翻译推理之连锁逆否。翻译：参加机器人社→每周三下午调试设备→无法参加周三下午游泳课。小夔本学期每周三下午都在上游泳课，'无法上游泳课'为假，否定链条末件，逐级逆否：他不调试设备，进而没有参加机器人社，C正确。A与推理矛盾；B社团暂停、D更换教练均与题干不符。确认答案为C。
原解析
连锁“参加→周三调试→无法上游泳课”。每周三都上游泳课即能上课，否定末件逐级逆否：不调试、未参加机器人社。A与推理矛盾，B、D与题干不符。