定义和含义

[math]\displaystyle{ A\Rightarrow B \Longleftrightarrow \overline{B} \Rightarrow \overline{A} }[/math]

辅助理解的解释

逆否命题与原命题是等价的，也就是说，原命题成立当且仅当它的逆否命题成立。这个结论被称为“逆否命题定理”。这个定理可以借助集合来进行证明。