已知：如果小介参加天文社，那么他每周五晚上观测；如果每周五晚上观测，那么他无法参…
已知：如果小介参加天文社，那么他每周五晚上观测；如果每周五晚上观测，那么他无法参加周五晚上的吉他课。小介本学期每周五晚上都在上吉他课。由此可以推出：
A. 小介没有参加天文社
B. 小介参加了天文社
C. 天文社更换了观测地点
D. 吉他课增加了课时
答案与解析
正确答案：A
花生十三讲解
翻译推理之连锁逆否。翻译：参加天文社→每周五晚上观测→无法参加周五晚上吉他课。小介本学期每周五晚上都在上吉他课，'无法上吉他课'为假，否定链条末件，逐级逆否：他不观测，进而没有参加天文社，A正确。B与推理矛盾；C更换观测地点、D增加课时均与题干不符。确认答案为A。
原解析
连锁“参加→周五观测→无法上吉他课”。每周五都上吉他课即能上课，否定末件逐级逆否：不观测、未参加天文社。B与推理矛盾，C、D与题干不符。