contrapositive 是什么意思？

在逻辑学和数学中，"contrapositive"（逆否命题）是一个重要的概念。它指的是一个命题的“逆否命题”，即通过交换原命题的条件和结论，并对它们进行否定后得到的新命题。

原命题： 如果 A，那么 B。（A → B）

逆否命题： 如果非 B，那么非 A。（¬B → ¬A）

需要注意的是，原命题与其逆否命题是等价的。也就是说，如果原命题为真，那么它的逆否命题也为真；反之亦然。

举个例子：原命题是“如果今天下雨，那么地会湿。”其逆否命题就是“如果地没有湿，那么今天没有下雨。”这两个命题在逻辑上是等价的。

理解逆否命题对于学习逻辑推理、数学证明和英语语法中的条件句都非常有帮助。