定义 由已知命题及其逆否命题等价性推导出的、用于简化逻辑判断或证明的必然结论。
从哪来 本图谱未记录前置知识点，故基于高三数学第1讲起点，直接构建于“命题与逻辑”的基础概念之上。
为什么 因为逻辑等价关系具有传递性。若命题 $p \Rightarrow q$ 为真，则其逆否命题 $\neg q \Rightarrow \neg p$ 必然为真。利用这一等价性，我们可以将复杂的直接证明转化为更简单的反证或逆否证明，从而降低思维负荷，这是逻辑推理效率最大化的必然结果。
讲法
适合逻辑直觉强、喜欢快速解题的学生
直接给出“原命题与逆否命题同真同假”的铁律。强调在证明“若 $A$ 则 $B$”困难时，立刻转向证明“若 $\neg B$ 则 $\neg A$”。通过对比两个方向的证明难度，让学生直观感受到“绕道走”往往比“硬闯”更省力。
讲法
适合基础薄弱、需要理解底层逻辑的学生
使用真值表推导。列出 $p, q$ 的所有真假组合，展示 $p \Rightarrow q$ 与 $\neg q \Rightarrow \neg p$ 在四种情况下的真值完全一致。通过表格的确定性，消除学生对“为什么可以反过来推”的疑虑，建立严谨的逻辑安全感。
讲法
适合抽象思维弱、偏好具体情境的学生
引入生活案例。例如：“如果下雨（$p$），地面就会湿（$q$）”。问学生：如果地面没湿（$\neg q$），能推出什么？学生能自然得出“没下雨”（$\neg p$）。再问：如果地面湿了，能推出下雨了吗？不能（可能是洒水车）。通过这种生活常识的映射，让学生深刻理解逆命题不一定真，但逆否命题一定真。