到底是命题的否定还是否命题?