原命题与逆否命题,否命题与逆命题都是相价的,所以否命题为真,则它的逆命题一定为真