已知“所有节粮减损示范粮库都通过了智能通风与虫霉防控验收”为真。以下哪项必然为真…
已知“所有节粮减损示范粮库都通过了智能通风与虫霉防控验收”为真。以下哪项必然为真？
A. 通过智能通风与虫霉防控验收的粮库都是节粮减损示范粮库
B. 有的节粮减损示范粮库没有通过智能通风与虫霉防控验收
C. 通过智能通风与虫霉防控验收是评选节粮减损示范粮库的充分条件
D. 没有通过通风与防控验收的粮库都不是示范粮库
答案与解析
正确答案：D
花生十三讲解
用翻译推理的逆否等价。原命题翻译：节粮减损示范粮库→通过智能通风与虫霉防控验收。其逆否命题等价：没有通过通风与防控验收→不是示范粮库，即D'没有通过通风与防控验收的粮库都不是示范粮库'必然为真。A'通过的都是示范粮库'是无效换位；B'有的示范没通过'与原命题直接矛盾；C颠倒了条件性质——通过验收是评示范的必要条件而非充分条件。确认答案为D。
原解析
“示范粮库→通过验收”的逆否命题是“未通过→非示范粮库”，D正确。A是无效换位，B与题干矛盾，C混淆了必要与充分条件。