命题的否定和否命题一样吗