命题的否定和否命题的距离