判断:一个命题的否命题为真,则它的逆命题一定为真