数学逻辑用语中,命题的否定和否命题有什么分别

1个回答

  • 命题的否定就是对这个命题的结论进行否认.(命题的否定与原命题真假性相反)

    命题的否命题就是对这个命题的条件和结论进行否认.(否命题与原命题的真假性没有必然联系)

    如:

    如果一个三角形的三个角全都是锐角,那么这个三角形是锐角三角形.(真)

    命题的否定:如果一个三角形的三个角全都是锐角,那么这个三角形不是锐角三角形.(假)

    否命题:如果一个三角形的三个角不全是锐角,那么这个三角形不是锐角三角形.(真)

    命题的否定象集合关系里面的:补集.一个是,一个否.

    而否命题是条件和结论同时否定,没有特定关系.

    如:

    若a>0,则a>2成立.(假)(全称命题,它的否定是存在命题,它的否命题是全称命题)

    命题的否定:若a>0,则a>2不一定成立.(真)

    否命题:若a