命题的否定与非p的区别