命题否定和原命题的关系