1.2.2 全称量词命题与存在量词命题的否定
(1)理解命题的否定的含义,会写给定命题的否定并判断命题的真假; (2)正确掌握全称量词命题与存在量词命题的否定;
(3)明确全称命题的否定是存在命题,存在命题的否定是全称命题,会判断其真假.
重点:全称量词命题与存在量词命题的否定以及真假的判断. 难点:正确的对全称量词命题与存在量词命题进行否定.
全称量词命题与存在量词命题的否定 1.命题的否定 2. 全称量词命题的否定 3.存在量词命题的否定
一、复习回顾 1.命题
1) 称为命题. 2)判断为 的语句称为真命题. 3)判断为 的语句称为假命题.
2.全称量词:“任意”“所有”“每一个”在陈述中表示所述事物的全体.
全程量词命题:
3.存在量词:“存在”“有”“至少有一个”在陈述中表示所述事物的个体或部分。 存在量词命题: 二、感受新知 1.命题的否定
命题的否定: ,记作: ,读作:“非p”或“p的否定”。
(3)思考:命题p与?p真假有什么关系呢?
命 题p 真 假
教材P29 练习A 1
2.全称量词命题与存在量词命题的否定
(1)下面我们来探究如何对全称量词命题与存在量词命题的否定进行否定.根据要求,认真思考回答问题: 1)命题s:
命 题 自然语言 符号语言 命题形式 真假判断 2)命题r:
命 题 自然语言 符号语言 命题形式 真假判断 3)命题q:
命 题 自然语言 符号语言 命题形式 命 题?p 归 纳 小 结 s 存在整数是自然数。 ?s r 存在实数的平方小于0. ?r 每一个实数的平方都不小于0。 q 每一个有理数都是实数。 ?q
真假判断 (2)尝试与发现
记r:“每一个素数都是奇数。”用类似的方法研究r 和?r 的关系、符号表示以及真假性。
( 注意:若用A表示所有素数组成的集合,B表示所有奇数组成的集合。) 命 题 自然语言 符号语言 命题形式 真假判断 (3)想一想
全称量词命题?x?M,p(x).的否定为: 存在量词命题?x?M,s(x).的否定为: 3.经典例题
例1 写出下列命题的否定,并判断所得命题的真假:
(1)p:?x?R,x??1; (2)q:?x?{1,2,3,4,5},2r 每一个素数都是奇数。 ?r 存在一个素数不是奇数。 1?x; x(3)s: 至少有一个直角三角形不是等腰三角形。
例2 写出下列命题的否定,并判断所得命题的真假:
(1)p:?a?R,一次函数y?x?a的图像经过原点。 (2)q:?x?(?3,??),x?9. 归纳方法:
2