翻译推理是判断推理中的重要题型，并且有一定的难度。面对这种题型，很多考生无从下手，今日向广大考生介绍一下翻译推理中的否定肯定式，以帮助各位考生更快选出正确答案。

所谓的否定肯定式，指的是“或”命题中，若命题成立，当其中一支否定了，另一支必定为真。

如：小明有房或有车，该命题为真。则如果否定小明有房(即小明没房)，则可确定有车必为真;同理，如果否定小明有车(即小明没车为真)，则有房必为真。

当然，需注意根据“或”关系的真假性判定—— 一真必真，全假必假，如果先肯定其中一支，则另一支真假性不确定。即如果小明有房为真，那么是否有车不确定。同理，如果小明有车为真，那么是否有房不确定。

【例】以“如果能参加越野跑，那么或者有身体健康证明，或者参加过马拉松比赛”为前提，若要必然推出“参加过马拉松比赛”，则需要增加下列哪项作为前提?( )

A. 能参加越野跑

B. 没有身体健康证明

C. 或者能参加越野跑，或者没有身体健康证明

D. 能参加越野跑，并且没有身体健康证明

答案与解析见下一页。

【答案】D

【解题思路】

第一步：题型识别。题干中出现关联词：如果……那么……，……或……，考察复合命题。

第二步：翻译。根据逻辑规则，题干“如果A，那么B”的文字表达，翻译为“A→B”。即参加越野跑→身体健康证明，或者参加过马拉松比赛。

第三步：推理。若要必然推出“参加过马拉松比赛”， 根据推理规则“肯前必肯后”，所以能参加越野跑必然为真，同时，也确定身体健康证明或参加马拉松比赛为真，也根据“或”关系的否定肯定式，要想肯定一支(参加过马拉松比赛)，必先否定另(没有身体健康证明)，因此正确答案为D。