命题的否定和否命题的区别

命题的否定和否命题的区别

原命题：等腰三角形的底角相等

命题的否定：如果一个三角形是等腰三角形,那么它的底角不相等；否命题：如果一个三角形不是等腰三角形,那么它的底角不相等.

结论：命题的否定是在原命题题设不变的情况下对结论进行否定.

而否命题是既要否定原命题题设,又要否定原命题的结论

命题的否定,主要针对简单命题（普通命题）、含有量词的命题,此时原命题的否定命题规则是：否定结论,并将量词“置换”,即将原命题中的全称量词（存在量词）换成存在量词（全称量词）.这种命题一般只有命题的否定,而没有否命题.

原命题的否命题：此时的原命题特指形如“如果p,则（那么）q”的命题,它的否命题是“如果非p,则（那么）非q”.这样的原命题的否定,同样是只否定结论,即原命题的否定为：“如果p,则（那么）非q”.注意：命题的否定与命题的否命题,是针对不同类型的原命题而言的,它们是两个不同的概念.

1、在高中阶段（国内），命题的否定只否定该命题的结论，而否命题则否定原命题的条件和结论。比如:“若a>0.则a+b>0”这个命题的否定是“存在a>0, 使得a+b<=0”,否命题是“存在a<=0,使得a+b<=0”；在大学（尤其是国外的大学）阶段，“只否定命题结论”的说法不一定正确，根据真值表（True Table），在A为假命题的情况下，非(A => B) 与A => 非B 并不是逻辑相等的。参考：滑铁卢大学数学教材对

于“若A则B”式命题的否定为“A 且非B”。

2、一个命题与它的否定形式是完全对立的。两者之间有且只有一个成立。数学中常用到反证法，要证明一个命题，只需要证明它的否定形式不成立就可以了。而对于否命题，它是否成立和原命题是否成立没有直接关系。