光问一下命题p的非命题是啥就行