证明:
设原命题为A=p→q。
其逆否命题为B。
则A=p→q=乛p∨q=乛(乛q)∨(乛p)=乛q→(乛p)=B命题即证。
原命题和逆否命题为等价命题,如果原命题成立,逆否命题成立,逆命题和否命题为等价命题,如果逆命题成立,否命题成立。逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,既不能证明它正确也不能证明它错误。
原命题为:
若a,则b。逆否命题为:若非b,则非a。如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题。命题的否定只否结论。
一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立。逆命题和否命题为等价命题,如果逆命题成立,否命题成立。