逆否命题是逻辑学中的一个概念,具体定义如下:
如果一个命题的形式是“如果P,则Q”(记作 P → Q),那么它的逆否命题是“如果非Q,则非P”(记作 ¬Q → ¬P)。
逆否命题与原命题是等价的,即如果原命题为真,则其逆否命题也为真;如果原命题为假,则其逆否命题也为假。这一逻辑关系是逻辑学中的基本性质之一,并且在证明和推理中非常有用。
需要注意的是,逆否命题与逆命题是不同的概念。逆命题是将原命题的条件和结论对调得到的命题,而逆否命题不仅对调条件和结论,还将它们都取反。
例如,原命题为“若一个数是偶数,则它能被2整除”,其逆否命题为“若一个数不能被2整除,则它不是偶数”