已知“所有上路运营的氢燃料公交车都完成了储氢系统年检”为真。以下哪项必然为真？
已知“所有上路运营的氢燃料公交车都完成了储氢系统年检”为真。以下哪项必然为真？
A. 没有完成储氢系统年检的氢燃料公交车都没有上路运营
B. 完成年检的公交车都上路运营了，且年检是运营的必要条件
C. 有的运营公交车没有完成年检，但并非所有未年检车都未运营
D. 完成年检是上路运营的充分条件，且所有运营车都完成了年检
答案与解析
正确答案：A
花生十三讲解
用翻译推理的逆否等价。原命题翻译：上路运营的氢燃料公交车→完成储氢系统年检。其逆否命题等价：没有完成年检→没有上路运营，即A'没有完成储氢系统年检的都没有上路运营'必然为真。B'完成年检的都上路运营'是无效换位；C'有的运营车没完成年检'与原命题直接矛盾；D颠倒了条件性质——完成年检是上路的必要条件而非充分条件。确认答案为A。
原解析
“上路运营→完成年检”的逆否命题是“未完成→未上路”，A正确。B是无效换位，C与题干矛盾，D混淆了必要与充分条件。