一、这是什么
充分条件假言推理有两个有效式：肯定前件式与否定后件式；也有两个常见的谬误式。
二、核心要点
- 肯定前件式：由 p 与「如果 p 那么 q」推出 q。
- 否定后件式：由非 q 与「如果 p 那么 q」推出非 p。
- 肯定后件式是无效的。
- 否定前件式是无效的。
三、为什么重要
「假言推理：有效式与谬误式」属于复合命题与演绎推理板块的基础内容。复合命题由简单命题加逻辑联结词构成。它的真假由支命题的真假与联结词共同决定，因此可以用真值表精确刻画。
一句话记住它充分条件假言推理有两个有效式：肯定前件式与否定后件式；也有两个常见的谬误式。
四、容易踩的坑
- 把肯定后件式当作有效推理。
五、相关联的术语
负命题、二难推理、充分条件、相容选言、联言命题。学习本课时，请把「假言推理：有效式与谬误式」放在这组术语的关系网里理解，而不是孤立记忆。