定义和含义

一个命题[math]\displaystyle{ A\Rightarrow B }[/math]的逆否命题记作[math]\displaystyle{ \overline{B} \Rightarrow \overline{A} }[/math]，其含义是在B条件不满足的情况下，结论A肯定也是不满足的。

辅助理解的解释

逆否命题也是数学中命题的一种，它是由原命题的逆命题和否命题的结合得到的命题。具体地说，如果原命题是“如果A成立，则B成立”，那么它的逆命题是“如果B不成立，则A不成立”，而它的否命题是“如果A不成立，则B不成立”，那么逆否命题就是“如果B不成立，则A不成立”。

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

相关的概念有逆命题、否命题。