已知：如果小司空参加高台花鼓队，那么他每周二晚间练习登台击鼓；如果每周二晚间练习…
已知：如果小司空参加高台花鼓队，那么他每周二晚间练习登台击鼓；如果每周二晚间练习，那么他无法参加周二晚间的围棋社。小司空本学期每周二晚间都在参加围棋社。由此可以推出：
A. 小司空没有参加高台花鼓队
B. 小司空参加了高台花鼓队每周
C. 花鼓队更换了舞台台架设备
D. 围棋社新聘了专业青年教练
答案与解析
正确答案：A
花生十三讲解
翻译推理之连锁逆否。翻译题干：参加高台花鼓队→每周二晚练习登台击鼓；每周二晚练习→无法参加周二晚间围棋社。递推得参加花鼓队→无法参加围棋社。已知小司空本学期每周二晚间都在参加围棋社，否定末端结论，逐级否定前件可得他没有每周二练习，进而没有参加高台花鼓队。确认答案为A。
原解析
连锁“参加→周二练习→无法围棋社”。每周二都在围棋社即能参加，否定末件逐级逆否：不练习、未参加花鼓队。B与推理矛盾，C、D与题干不符。