对于一个命题p,非p是命题的否定,就是对这个命题的真值进行取反。命题的否定与原命题真假性相反。对于一个命题p如果仅将它的结论否定,就得到一个新命题,记作┐p,读作“非p”。
否命题:对于两个命题,若其中一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,则这两个命题互为否命题。如果把其中一个称为原命题,那么另一个就叫做它的否命题。
(1)命题的否定只否定该命题的结论,而否命题则否定原命题的条件和结论。
(2)一个命题与它的否定形式是完全对立的,两者之间有且只有一个成立。数学中常用到反证法,要证明一个命题,只需要证明它的否定形式不成立就可以了;而对于否命题,它是否成立和原命题是否成立没有直接关系。