把一个复合命题的条件和结论互换位置得到的命题。
否命题
如果两个命题中一个命题的条件和结论分别是另一个命题的条件和结论的否定，则这两个命题称互为否命题。
逆否命题
逻辑学认为命题与逆否命题是等价的，也就是命题真，则逆否命题也真。命题同它的逆否命题等价是作为公理存在的，你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。
匿名回答于2020-09-29 18:06:50
