全称量词命题与存在量词命题的否定课件高一上学期数学苏教版必修第一册.pptxVIP

全称量词命题与存在量词命题的否定

“所有”“任意”“每一个”等表示全体的词在逻辑学中称为全称量词(universalquantifier)，通常用符号“?x”表示“对任意x”；1、全称量词与存在量词的定义(1)全称量词数学符号表示：“存在”“有的”“有一个”等表示部分或个体的词在逻辑学中称为存在量词(existentialquantifier)，通常用符号“?x”表示“存在x”；(2)存在量词数学符号表示：复习回顾

含有全称量词的命题称为全称量词命题(universalpr-oposition)。2、全称量词命题与存在量词命题的定义和一般形式(1)全称量词命题全称量词命题一般形式：复习回顾

(2)存在量词命题含有存在量词的命题称为存在量词命题(existentialproposition)。2、全称量词命题与存在量词命题的定义和一般形式存在量词命题一般形式：复习回顾

3、全称量词命题与存在量词命题真假的判断方法(1)全称量词命题(2)存在量词命题复习回顾

问题情境问题1：写出下列命题的否定，并说明这些命题和它们的否定在形式上有什么变化？(1)所有的正方形都是矩形；(2)对任意的实数a，都有|a|≥0；(3)每个素数都是奇数；(4)?x∈R，x2－2x+1≥0。(1)“不是所有的正方形都是矩形”，换言之，“有的正方形不是矩形”；从形式上发现：全称量词命题都变成了存在量词命题。(3)“每个素数都是奇数”，换言之，“存在一个素数不是奇数”；(2)“不是对任意的实数a，都有|a|≥0”，换言之，“存在的实数a，使|a|0”；(4)“不是?x∈R，x2－2x+1≥0”，换言之，“?x∈R，x2－2x+10”。

数学建构2、全称量词命题的否定形式一般地，全称量词命题：“?x∈M，p(x)”的否定为：全称量词命题的否定是存在量词命题1、含有一个量词命题的否定的概念一般地，对仅含有“全称量词”或“存在量词”其中一个量词命题的否定，称为含有一个量词命题的否定。命题p的否定的数学符号表示为：

问题情境问题2：写出下列命题的否定，并说明这些命题和它们的否定在形式上有什么变化？(1)存在有理数x，使得x2－2＝0；(2)有的矩形是菱形；(3)有些实数的绝对值是正数；(4)?x∈R，x2+10。(1)“不存在有理数x，使x2－2＝0”，换言之，“对所有的有理数x，x2－2≠0”；从形式上发现：存在量词命题都变成了全称量词命题。(2)“不是有的矩形是菱形”，换言之，“所有的矩形都不是菱形”；(3)“不存在实数的绝对值是正数”，换言之，“对任意实数的绝对值都不是正数”；(4)“不?x∈R，x2+10”，换言之，“?x∈R，x2+1≥0”。

数学建构3、存在量词命题的否定形式一般地，存在量词命题：“?x∈M，p(x)”的否定为：存在量词命题的否定是全称量词命题

数学建构4、全称量词命题和存在量词命题的否定形式(1)全称量词命题：“?x∈M，p(x)”的否定为:(2)存在量词命题：“?x∈M，p(x)”的否定为:

数学应用类型一：全称量词命题的否定

数学练习

数学应用类型二：存在量词命题的否定

数学练习

变式拓展写出下列命题的否定。(1)所有的无理数都是实数；(2)?x∈R，x2+x+10；(3)菱形不是矩形；(4)?x∈R，x2－x+1=0。答案：(1)有的无理数不是实数；(2)?x∈R，x2+x+1≤0；(3)存在一个菱形，它是矩形；(4)?x∈R，x2－x+1≠0。

题后反思一般地，(1)对全称量词命题的否定，主要是对全称量词的否定，“任意”“所有”的否定分别是“存在”“不都”；(2)对存在量词命题的否定，主要是对存在量词的否定，“存在”“有”的否定分别是“任意”“所有”；(3)原命题和命题的否定，在真假性方面完全相反，即：若已知命题p为真命题，则￢p为假命题，若已知命题p为假命题，则￢p为真命题。

数学建构5、常见量词的否定

数学应用类型三：全称量词命题与存在量词命题真假性问题中参数范围的求解

数学建构6、关于命题中参数