思考:下列命题间有什么关系
⑴若0ab,则ab、中至少有一个不为零;⑵若0ab,则ab、都为零;⑶若0ab,则ab、都为零
简单的逻辑联结词(二)答:命题⑶是命题⑴的否命题,命题⑵是命题⑴的否定
注:一个命题的否定与它的否命题是有区别的
命题的否定是对命题结论的全盘否定
命题的否命题是既否定条件又否定结论
一般地,对一个命题p全盘否定,就得到一个新命题,记作p,读作“非p”或“p的否定”
显然,若p是真命题,则p是假命题;若p是假命题,则p是真命题
也就是说,p与p一真一假
即可以得到下面真值表(1─真,0─假)pp1001p与p一真一假“非p”─p的全盘否定
真值表(1─真,0─假)pp1001p与p一真一假我们知道命题的“且”、“或”恰好对应集合的“交”、“并”,那么命题的“非”对应集合的什么
•“或”•“且”•“非”BxAxxBA或BxAxBA且AxUxxA且三、逻辑联结词注:⑴“p且q”─p、q同时为真才为真
⑵“p或q”─只要p、q中有一个为真就为真
(p、q同时为假才为假
)⑶“p”─p的全盘否定,p与p一真一假
例4写出下列命题的否定,并断它们的真假:⑴p:sinyx是周期函数;⑵p:3