简单介绍一下非p符号由来：非p：一个命题与它的否定形式是完全对立的。

两者之间有且只有一个成立。命题的否定。数学中常用到反证法，要证明一个命题，只需要证明它的否定形式不成立就可以了。假若P为假命题，那么非P一定为真命题。 P为真命题，则非P一定为假命题。扩展资料：命题的否定和否定题的区别：（1）在高中阶段（国内），命题的否定只否定该命题的结论，而否命题则否定原命题的条件和结论。比如:“若a>

0.则a+b>

0”这个命题的否定是“存在 a>

0, 使得a+b