命题的否定就是对这个命题的结论进行否认.(命题的否定与原命题真假性相反)命题的否命题就是对这个命题的条件和结论进行否认.(否命题与原命题的真假性没有必然联系)
例子
如果一个三角形的三个角全都是锐角,那么这个三角形是锐角三角形.(真)
命题的否定:如果一个三角形的三个角全都是锐角,那么这个三角形不是锐角三角形.(假)
否命题:如果一个三角形的三个角不全是锐角,那么这个三角形不是锐角三角形.(真)
命题的否定象集合关系里面的:补集.一个是,一个否.
而否命题是条件和结论同时否定,没有特定关系.
如:
若a>0,则a>2成立.(假)(全称命题,它的否定是存在命题,它的否命题是全称命题)
命题的否定:若a>0,则a>2不一定成立.(真)
否命题:若a