已知“所有智慧农贸示范市场都通过了溯源系统与计量抽检验收”为真。以下哪项必然为真…
已知“所有智慧农贸示范市场都通过了溯源系统与计量抽检验收”为真。以下哪项必然为真？
A. 通过溯源抽检的市场都通过了计量抽检，因此都是示范市场
B. 有的示范市场没有通过溯源系统与计量抽检验收
C. 通过溯源系统与计量抽检是成为智慧农贸示范市场的充分条件
D. 没有通过溯源与抽检的市场都不是智慧农贸示范市场
答案与解析
正确答案：D
花生十三讲解
用翻译推理的逆否等价。原命题翻译：智慧农贸示范市场→通过溯源系统与计量抽检验收。其逆否命题等价：没有通过溯源与抽检→不是示范市场，即D'没有通过溯源与抽检的市场都不是智慧农贸示范市场'必然为真。A'通过的都是示范市场'是无效换位；B'有的示范没通过'与原命题直接矛盾；C颠倒了条件性质——通过溯源是评示范的必要条件而非充分条件。确认答案为D。
原解析
“示范市场→通过溯源抽检”的逆否命题是“未通过→非示范市场”，D正确。A是无效换位，B与题干矛盾，C混淆了必要与充分条件。