只否定结论的命题,叫做“命题的否定”,形式为“若p则非q”.
否命题:如果原命题是“若p则q”,那么其否命题是“若非p,则非q”.也就是说：否命题既否定条件又否定结论.
为便于理解,可以把“有的三角形是等边三角形”,改写成“部分三角形是等边三角形”.因为“部分”的否定为“全体（所有的）”,“等边三角形”的否定为“不是等边三角形”,所以“有的三角形是等边三角形”的否命题为“所有的三角形都不是等边三角形”.