下列两个命题间有什么关系? (1)函数y=cosx的周期是 ; (2)函数y=cosx的周期不是 .
可以看到,命题(2)是命题(1)的否定.
一般地,对命题p加以否定,就得到一个新命题,记作¬ p,读作“非p”或“p的否定”。
概念的形成:
(1) 若p是真命题,则¬p必是假命题, 若p是假命题,则¬p必是真命题。
即 P 、¬p真假相反
(2) ¬(¬p)=P