翻译推理-直言命题换位与递推（三段论串联）

问法模型：题干给出多个直言命题，问’必定成立的是’→将命题全部翻译成箭头式，用’有些A是B可换位、肯后不必然’的规则寻找唯一能递推出来的结论

推理链

第1步：翻译题干：①’超过60万千米的汽车都应当报废’即超60万→报废；②’有些超60万千米的汽车存在设计缺陷’即有些超60万→设计缺陷；③’应当报废的汽车中有些不是T品牌’即有些报废→非T品牌；④’T品牌汽车都不存在设计缺陷’即T品牌→非设计缺陷
第2步：对②做换位（‘有些A是B’等价于’有些B是A’），得到’有些存在设计缺陷的汽车行驶超过60万千米’
第3步：将换位结果与①递推串联，得前提⑤：有些设计缺陷→超60万→应当报废
第4步：A项’有些T品牌应当报废’：③只说’有些报废的不是T品牌’，特称否定命题不能换位，且方向相反，推不出
第5步：B项’有些T品牌不应当报废’：题干只由④把T品牌与’设计缺陷’关联，未给出T品牌与’是否报废/里程’的确定信息，推不出
第6步：C项’应当报废的都超60万’是对①’超60万→报废’的肯后（换位），肯定后件得不到必然结论
第7步：D项’有些存在设计缺陷的汽车应当报废’正是由⑤’有些设计缺陷→超60万→报废’直接推出，当选

最快解法：⚡ 换位递推法：把②’有些超60万有设计缺陷’换位为’有些有设计缺陷超60万’，再接①’超60万→报废’，一步锁定D’有些设计缺陷→报废’；其余选项用’肯后不必然’（C）和’特称否定不可换位’（A、B）快速排除

🧩 当题干出现多个’所有/有些’直言判断且问’必定成立’时，先全部译成箭头式，再用三条规则——‘有些A是B可换位、含否定的特称命题不可换位、肯后不必然’——构建递推链，能从头串到尾的选项即为答案

同类特征：都应当报废处理、有些……存在设计缺陷、有些不是T品牌汽车、所有T品牌汽车都不、必定成立的是、四个直言命题可串联递推