(1)定义
一般地,用逻辑联结词"或"把命题p和q联结起来,就得到一个新命题p或q.
(2)命题p或q的真假判定
p q p或q 真 真 真 真 假 真 假 真 真 假 假 假 (3)逻辑联结词"或"与集合中的"并集"含义相同,可以用"或"来定义集合A与B的并集:A∪B={x|x∈A或x∈B}.
思考:逻辑联结词"或"与生活用语中的"或"的含义是否相同?
[提示] 生活用语中的"或"表示不兼有,而在数学中所研究的"或"则表示可兼有但不一定必须兼有.
3.逻辑联结词"非"
(1)定义
一般地,对命题p加以否定,就得到一个新的命题,记作﹁p,读作非p或p的否定.
(2)命题﹁p的真假判定
p ﹁p 真 假 假 真 (3)逻辑联结词"非"与集合中的"补集"含义相同,可以用"非"来定义集合A在全集U中的补集:∁UA={x|x∈U且x∉A}.
(4)命题"p且q"与"p或q"的否定命题:
①﹁(p且q)=﹁p或﹁q;
②﹁(p或q)=﹁p且﹁q.
思考:命题的否定与否命题有什么区别?