1、简单的逻辑简单的逻辑 联结词联结词 “或或”,“,“且且”,“,“非非”称为简单的逻辑联称为简单的逻辑联结词结词.有以下三种形式有以下三种形式:(1)P(1)P且且q.(2)Pq.(2)P或或q q.(3)(3)非非p.p.pqp且且q真真真真真真真真假假假假假假假假真真假假假假假假同同真真为为真真其余为其余为假假一一假假必必假假真值表真值表自主探索一自主探索一下列三个命题间有什么关系？下列三个命题间有什么关系？（1 1）2727是是7 7的倍数；的倍数；（2 2）2727是是9 9的倍数；的倍数；（3 3）2727是是7 7的倍数或是的倍数或是9 9的倍数的倍数.命题命题(3)(3)是由命题
2、是由命题(1)(2)(1)(2)使用联结使用联结词词“或或”联结得到的新命题联结得到的新命题归纳新知归纳新知 一般地一般地,用联结词用联结词“或或”把把命题命题p p和和q q联结起来，就得到联结起来，就得到一个新命题，记作：一个新命题，记作：pqpq 读作：读作：p p或或q q如果如果 p表示表示“5是是12的约数的约数”q表示表示“5是是15的约数的约数”r表示表示“5是是8的约数的约数”s表示表示“5是是10的约数的约数”试写出试写出“p或或q”，“p或或r”，“r或或q”，“r或或s”的复合命题，并判断其真假，然后归纳出的复合命题，并判断其真假，然后归纳出其规律其规律 例题应用例题应
3、用例例1 1 判断下列命题的真假判断下列命题的真假(1)22;(1)22;(2)(2)集合集合A A是是ABAB的子集或是的子集或是ABAB的子集的子集;(3)(3)周长相等的两个三角形全等或面积相周长相等的两个三角形全等或面积相等的两个三角形全等等的两个三角形全等练习：练习：判断下列命题的真假：判断下列命题的真假：（1）47是是7的倍数或的倍数或49是是7的倍数的倍数;（2）34或或32”，那么非，那么非p表示什么？表示什么？判断其真假判断其真假思考思考:p:p与与p p的关系的关系?若若p p是真命题是真命题,则则p p必是必是假命题假命题;若若p p是假命题是假命题,则则p p必是必是真
4、命题真命题.例题应用例题应用例例2 2 写出下列命题的否定写出下列命题的否定,并判断它们的真假并判断它们的真假:(1)p:y=sinx(1)p:y=sinx是周期函数是周期函数;(2)p:32;(2)p:32;(3)p:(3)p:空集是集合空集是集合A A的子集的子集.解(1)p:y=sinx不是周期函数不是周期函数 命题命题p是真命题是真命题,p 是假命题 (2)p:32 命题命题p是假命题是假命题,p 是真命题 (3)p:空集不是集合A的子集 命题命题p是真命题是真命题,p 是假命题命题的否定与否命题的区别：命题的否定与否命题的区别：命题的否定：是对命题的结论加以否定，命题的否定：是对命题
5、的结论加以否定，即命题的即命题的“非非P”形式形式 否命题：是对一个命题的条件和结论都否命题：是对一个命题的条件和结论都加以否定。加以否定。回顾：回顾：写出下表中各给定语的否定语写出下表中各给定语的否定语 给定语为 否定语为 等于 大于 是 都是 至多有一个 至少有一个 至多有n个不等于不等于小于或者等于小于或者等于不是不是不都是不都是至少有两个至少有两个一个都没有一个都没有至少有至少有n+1个个课本 17页 练习 3p非p真假非p形式复合命题p且q形式复合命题pqp且q真真真假假真假假P或q形式复合命题pqP或q真真真假假真假假真值表假假假假假假假假假假真真真真真真真真真真(1)(1)P P或或q q(2)(2)P P且且q q(3)(3)非非p ppqpqp同假为假同假为假,.,一假为假一假为假.真假判定真假判定
