已知：如果小闻人参加武术操队，那么他每周一晚上练习马步冲拳组合；如果每周一晚上练…
已知：如果小闻人参加武术操队，那么他每周一晚上练习马步冲拳组合；如果每周一晚上练习，那么他无法参加周一晚上的编程班。小闻人本学期每周一晚上都在参加编程班。由此可以推出：
A. 小闻人参加了武术操队
B. 武术操队更换了训练套路
C. 小闻人没有参加武术操队
D. 机房新安装了电脑系统
答案与解析
正确答案：C
花生十三讲解
用翻译推理的传递推理加逆否等价。连锁翻译：参加武术操队→每周一晚上练习马步冲拳组合→无法参加周一晚上的编程班。小闻人本学期每周一晚上都在参加编程班，即“无法参加”不成立，否定末件逐级逆否：没有练习→没有参加武术操队，C正确。A与推理结论矛盾；B更换套路、D新装系统均是无据信息。确认答案为C。
原解析
连锁“参加→周一练习→无法编程班”。每周一都在编程班即能参加，否定末件逐级逆否：不练习、未参加武术操队。A与推理矛盾，B、D与题干不符。