已知“所有放心肉菜示范超市都通过了溯源查询与快检公示双项验收”为真。以下哪项必然…
已知“所有放心肉菜示范超市都通过了溯源查询与快检公示双项验收”为真。以下哪项必然为真？
A. 通过验收的超市都是放心肉菜示范超市
B. 有的放心肉菜示范超市没有通过双项验收
C. 没有通过双项验收的超市都不是示范超市
D. 通过双项验收是评示范超市的充分条件
答案与解析
正确答案：C
花生十三讲解
用翻译推理解题。题干翻译：放心肉菜示范超市→通过溯源查询与快检公示双项验收。其逆否命题：没有通过双项验收→不是示范超市，C与之完全一致，必然为真。A'通过验收的都是示范超市'是无效换位；B'有的示范超市没通过'与题干直接矛盾；D方向颠倒——通过验收只是评示范的必要条件而非充分条件。确认答案为C。
原解析
“示范超市→通过验收”的逆否命题是“未通过→非示范超市”，C正确。A是无效换位，B与题干矛盾，D混淆了必要与充分条件。