非p是命题的否定还是否命题