翻译推理-假言与选言综合（否一推一、逆否规则、连锁传递）

问法模型：问法为’以下各项如果为真，不能得出A是哺乳动物的有’（选非型多选）→ 先将五个条件翻译成逻辑符号，逐项代入验证能否推出目标结论，选’推不出’的项

推理链

第1步：翻译条件——①’¬B鸟→A哺乳’；②’C哺乳∨A哺乳’；③’¬B鸟→¬D鱼’；④’D鱼∨¬E昆虫’；⑤’¬E昆虫→¬B鸟’
第2步：所用规则——选言命题’否一推一’（④等价改写为’¬D鱼→¬E昆虫’）；假言命题’肯前必肯后、否后必否前’，‘否前、肯后无必然结论’
第3步：A项代入——‘B不是鸟’是①的肯前，肯前必肯后，直接推出’A是哺乳动物’，能得出
第4步：C项代入——‘D不是鱼’否定④中’D是鱼’一支，否一推一得’E不是昆虫’，作⑤的肯前得’B不是鸟’，再作①的肯前得’A是哺乳动物’，能得出（形成¬D鱼→¬E昆虫→¬B鸟→A哺乳的连锁）
第5步：B项代入——‘C是哺乳动物’仅使②这一选言为真，对’A是否哺乳’无必然约束，无法推出’A是哺乳动物’
第6步：D项代入——‘E是昆虫’是对④中’¬E昆虫’一支的否定，否一推一得’D是鱼’，作③的否后，否后必否前得’B是鸟’，对①是否前，无必然结论，推不出’A是哺乳动物’
第7步：对照选非问法，不能得出结论的是B、D两项，与官方答案一致

最快解法：⚡ 逆推目标+排除法：目标’A是哺乳动物’只能由①的肯前’B不是鸟’触发；A项本身就是’B不是鸟’直接排除；C项经④⑤接力也能触发’B不是鸟’，排除；B、D两处均无通路触发该前提，即答案选B、D

⚠ 问法是’不能得出’的选非多选，易按惯性选成’能得出’的A、C项
⚠ ④⑤①可连锁传递（¬D鱼→¬E昆虫→¬B鸟→A哺乳），忽略传递链会误判C项
⚠ 否一推一方向用错：须先确认选言两支的确切表述（‘D是鱼∨E不是昆虫’），再对被否定的一支取反
⚠ 官方解析B项借’只能归属一种门类’推出’A一定不是哺乳动物’依据不足，该约束只限制同一动物兼属两类，不能跨动物传导，但B项’推不出A是哺乳动物’的判定本身仍成立

🧩 当题干同时出现’如果…那么…’与’或者…或者…’且问’能否得出某结论’时，先把选言改写为假言（A∨B≡¬A→B），再用’肯前/否后’顺推、‘否前/肯后’无果，逐项沿链条验证即可

同类特征：五个条件混合假言与选言、选非型问法’不能得出的有’、多选答案（两项）、条件间存在连锁传递结构、‘只能归属一种门类’为背景约束