2018年高中数学_第一章 常用逻辑用语 1.3.2 含有一个量词的命题的否定课件2 苏教版选修1-1.pptVIP

　全称量词与存在量词 含有一个量词的命题的否定 情境引入 对于下列命题： （1） 所有的人都喝水； 　 （2）存在有理数x，使 ； 　 （3）对所有实数a，都有│a│≥0. 思考　尝试对上述命题进行否定，你发现了什么规律？ 探究1 从命题形式上看,这三个全称命题的否定都变成了存在性命题. 一般地,对于含有一个量词的全称命题的否定,有下面的结论: 全称命题p: 全称命题的否定是存在性命题. 探究2 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 从命题形式上看,这三个存在性命题的否定都变成了全称命题. 一般地,对于含有一个量词的存在性命题的否定,有下面的结论: 存在性命题 存在性命题的否定是全称命题. 数学建构 　“ x ∈M，p(x)”的否定为“ x ∈M， ¬ p(x)”． 一般地： 知识应用 例1 写出下列命题的否定: 　（1）所有人都晨练； 　（2） x∈R， x2＋x＋1＞0 ； 　（3） 平行四边形的对边相等； 　（4） x∈R ， x2－x＋1＝0 . 数学建构 1．全称命题的否定是存在性命题，要证明一个全称命题是假命题，只需举一个反例即可．有些全称命题省略了量词，这种情况下对其否定时应加上存在量词； 2．存在性命题的否定式全称命题，有些存在性命题省略了量词，这种情况下对其否定