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