任意推断p-->q等价于 p | !q 等价于 ！q | p 等价于 ！q--> !p而其中！q--->！p是原命题的逆否命题，也就是原命题和逆否命题等价，所以真假性相同否命题与原命题真假性相反，逆命题和逆否命题真假性相反，所以否命题和逆命题真假性相同也可以理解为逆命题是否命题的逆否命题。
