数学里否命题和命题的否定怎么区别理解