已知：如果小竺参加古琴社，那么他每周三晚上练习勾挑抹托指法；如果每周三晚上练习，…
已知：如果小竺参加古琴社，那么他每周三晚上练习勾挑抹托指法；如果每周三晚上练习，那么他无法参加周三晚上的夜跑团。小竺本学期每周三晚上都在参加夜跑团。由此可以推出：
A. 小竺参加了古琴社的指法
B. 小竺没有参加古琴社
C. 古琴社更换全部琴弦
D. 跑团新增了新的路线
答案与解析
正确答案：B
花生十三讲解
用翻译推理的传递与逆否解题。翻译：参加古琴社→每周三晚练习勾挑抹托指法→无法参加周三晚夜跑团。小竺本学期每周三晚都在参加夜跑团，即'无法夜跑'不成立，否定末件，由'否后必否前'逐级逆否：能夜跑→不练习→没有参加古琴社，B正确。A与逆否结论矛盾；C更换琴弦、D新增路线均是无据信息。确认答案为B。
原解析
连锁“参加→周三练习→无法夜跑”。每周三都在夜跑即能参加，否定末件逐级逆否：不练习、未参加古琴社。A与推理矛盾，C、D与题干不符。