已知“所有入库药品都通过了效期核验”为真。以下哪项必然为真？
已知“所有入库药品都通过了效期核验”为真。以下哪项必然为真？
A. 通过效期核验的药品都入库了，且效期核验是入库的必要条件
B. 没有通过效期核验的药品都没有入库
C. 有的入库药品没有通过核验，但效期核验是入库的充分条件
D. 效期核验是入库的充分条件，且所有入库药品都通过了核验
答案与解析
正确答案：B
花生十三讲解
翻译推理之逆否等价。'所有入库药品都通过了效期核验'翻译为：入库→通过核验。其逆否命题为：没有通过效期核验→没有入库，即B'没有通过效期核验的药品都没有入库'必然为真。A'通过核验的都入库'是无效换位；C'有的入库未通过'与题干矛盾；D把必要条件说成充分条件，混淆条件关系。确认答案为B。
原解析
“入库→通过核验”的逆否命题是“未通过核验→未入库”，B正确。A是无效换位，C与题干矛盾，D混淆了必要与充分条件。