命题的否定，主要针对简单命题（普通命题）、含有量词的命题，此时原命题的否定命题规则是：否定结论，并将量词“置换”，即将原命题中的
全称量词（存在量词）换成存在量词（全称量词）。这种命题一般只有命题的否定，而没有
否命题。
原命题的否命题：此时的原命题特指形如“如果p，则（那么）q”的命题，它的否命题是“如果非p，则（那么）非q”。这样的原命题的否定，同样是只否定结论，即原命题的否定为：“如果p，则（那么）非q”。
注意：命题的否定与命题的否命题，是针对不同类型的原命题而言的，它们是两个不同的概念。