已知“所有绿色社区创建达标单位都通过了垃圾分类与节水改造验收”为真。以下哪项必然…
已知“所有绿色社区创建达标单位都通过了垃圾分类与节水改造验收”为真。以下哪项必然为真？
A. 通过验收的社区都必然是垃圾分类与节水改造达标的创建单位
B. 没有通过分类与节水验收的社区都不是达标单位
C. 有的达标单位没有通过垃圾分类与节水改造验收
D. 通过验收是创建达标的充分条件，但并非必要条件
答案与解析
正确答案：B
花生十三讲解
用翻译推理的逆否等价规则。翻译：绿色社区创建达标单位→通过垃圾分类与节水改造验收。逆否等价：没有通过分类与节水验收的社区→不是达标单位，B必然为真。A“通过的都是达标单位”是无效换位；C“有的达标单位没通过”与题干直接矛盾；D通过验收只是必要条件，说成充分条件混淆了条件关系。确认答案为B。
原解析
“达标单位→通过验收”的逆否命题是“未通过→非达标单位”，B正确。A是无效换位，C与题干矛盾，D混淆了必要与充分条件。