已知“所有出厂销售的电梯曳引机都通过了型式试验”为真。以下哪项必然为真？
已知“所有出厂销售的电梯曳引机都通过了型式试验”为真。以下哪项必然为真？
A. 通过型式试验的曳引机都出厂销售了，且型式试验是唯一条件
B. 有的出厂曳引机没有通过型式试验，但型式试验并非必要条件
C. 没有通过型式试验的曳引机都没有出厂销售
D. 通过型式试验是出厂销售的充分条件，也是必要条件
答案与解析
正确答案：C
花生十三讲解
用翻译推理的逆否等价。原命题翻译：出厂销售的电梯曳引机→通过型式试验。其逆否命题等价：没有通过型式试验→没有出厂销售，即C'没有通过型式试验的曳引机都没有出厂销售'必然为真。A'通过试验的都出厂销售'是无效换位；B'有的出厂曳引机没通过试验'与原命题直接矛盾；D颠倒了条件性质——通过试验是出厂的必要条件而非充分条件。确认答案为C。
原解析
“出厂销售→通过型式试验”的逆否命题是“未通过→未出厂”，C正确。A是无效换位，B与题干矛盾，D混淆了必要与充分条件。