逆否等价是逻辑学中的一种等价关系，它表明一个命题的逆命题与其否定命题是等价的。具体来说，如果一个命题是“如果P，则Q”（记作P → Q），那么它的逆否命题是“如果非Q，则非P”（记作¬Q → ¬P），这两个命题总是同时为真或同时为假。
逆否等价的规则形式可以表示为：
```
P → Q 等价于 ¬Q → ¬P
```
这个规则在逻辑推理中非常有用，因为它允许我们从一个已知的命题推导出另一个等价的命题，而不必重新进行完整的证明。
举个例子，如果有一个命题“如果你是北京人，那么你是中国人”，其逆否命题是“如果你不是中国人，那么你不是北京人”，这两个命题是等价的，即如果其中一个为真，另一个也为真；如果其中一个为假，另一个也为假。
逆否等价在数理逻辑、形式逻辑以及日常逻辑推理中都有广泛的应用，是逻辑学基础概念之一