存在命题的否命题和否定一样?