原命题与否命题之间的关系