在学校图书馆，只有出示院系开具的证明，才能进入特藏书库阅览。如果没有参加教授的课…
在学校图书馆，只有出示院系开具的证明，才能进入特藏书库阅览。如果没有参加教授的课题组，院系就不会开具证明。小张最近因表现突出被李教授吸收进了自己的课题组。小王因个人原因在上星期退出了陈教授的课题组。如果上述断定为真，下列哪项一定为真？
A. 小张现在可以进入特藏书库阅览
B. 小王现在不能进入特藏书库阅览
C. 只要进入了教授的课题组，就能进入特藏书库阅览
D. 没有获得院系开具的证明，说明没有参加教授的课题组
答案与解析
正确答案：B
花生十三讲解
用翻译推理解题。规则译为：进入特藏书库则出示院系证明；院系开具证明则参加了教授课题组，即进书库、有证明、进课题组构成必要条件链。小王上周已退出课题组，未参加课题组，由逆否推出院系不会开证明，进而不能进入特藏书库，B项必然为真，当选。A小张进组只满足必要条件，未必开证明，不能保证进库；C把必要条件当充分条件；D由无证明推不出未参组。确认答案为B。
原解析
题干条件可形式化为：进入特藏→有院系证明；没参加课题组→没院系证明。其逆否命题为有院系证明→参加过课题组。小张参加课题组不能推出有证明，更不能推出能进入；小王退出课题组可推出没有院系证明，进而由“没证明→不能进入”可知他现在不能进入。C把必要条件当充分条件，D颠倒推出关系，均错误。