┐p与否命题的区别