反证法是要证明命题的否定形式还是否命题?