一个命题的否命题为假,则它本身一定为真