一、这是什么
二难推理由两个假言前提和一个选言前提构成；归谬法与反证法都是间接推出结论的经典形式。
二、核心要点
- 二难推理的构造式由两个条件推出一个结论。
- 破坏式通过否定后件来否定前件。
- 归谬法先假定结论为假，推出矛盾从而证明其为真。
- 反证法用于论证，归谬法用于反驳，思路相通。
三、为什么重要
「二难推理、归谬法与反证法」属于复合命题与演绎推理板块的基础内容。复合命题由简单命题加逻辑联结词构成。它的真假由支命题的真假与联结词共同决定，因此可以用真值表精确刻画。
一句话记住它二难推理由两个假言前提和一个选言前提构成；归谬法与反证法都是间接推出结论的经典形式。
四、容易踩的坑
- 把二难推理当成任何两难处境，忽略其推理形式要求。
五、相关联的术语
充要条件、相容选言、联言命题、负命题、二难推理。学习本课时，请把「二难推理、归谬法与反证法」放在这组术语的关系网里理解，而不是孤立记忆。