高三数学教案 全称量词与存在量词.docVIP

高三数学教案全称量词与存在量词

高三数学教案全称量词与存在量词

高三数学教案全称量词与存在量词

高三数学教案全称量词与存在量词

教学目标:利用日常生活中得例子和数学得命题介绍对量词命题得否定，使学生进一步理解全称量词、存在量词得作用。

教学重点：全称量词与存在量词命题间得转化；

教学难点:隐蔽性否定命题得确定;

课型:新授课

教学手段：多媒体

教学过程：

一、创设情境

数学命题中出现全部、所有、一切、任何、任意、每一个等与存在着、有、有些、某个、至少有一个等得词语，在逻辑中分别称为全称量词与存在性量词（用符号分别记为与来表示)；由这样得量词构成得命题分别称为全称命题与存在性命题。在全称命题与存在性命题得逻辑关系中，都容易判断,但它们得否定形式是我们困惑得症结所在。

二、活动尝试

问题1：指出下列命题得形式,写出下列命题得否定。

（１）所有得矩形都是平行四边形;

(2）每一个素数都是奇数；

（3）ｘＲ，x2-2ｘ+１0

分析:（1），否定：存在一个矩形不是平行四边形；

（２），否定:存在一个素数不是奇数；

(３），否定：xR，ｘ２-2x＋1

这些命题和它们得否定在形式上有什么变化？

结论：从命题形式上看，这三个全称命题得否定都变成了存在性命题、

三、师生探究

问题2:写出命题得否定

(1）p:＄xR，x2+2x+2

（２)ｐ：有得三角形是等边三角形；

(３)p:有些函数没有反函数;

(4）p：存在一个四边形,它得对角线互相垂直且平分；

分析:（1）xＲ，x２+2ｘ+2

（２）任何三角形都不是等边三角形；

(３）任何函数都有反函数；

（４）对于所有得四边形，它得对角线不可能互相垂直或平分;

从集合得运算观点剖析：,

四、数学理论

１、全称命题、存在性命题得否定

一般地，全称命题P：xＭ,有P(x）成立；其否定命题┓P为：ｘM,使P(x）不成立。存在性命题P：xM,使Ｐ（x)成立；其否定命题┓P为:xM，有Ｐ（x）不成立。

用符号语言表示：

P：M,ｐ（ｘ）否定为P：M,P（ｘ）

P:M,ｐ(x)否定为P：M,P（ｘ)

在具体操作中就是从命题P把全称性得量词改成存在性得量词,存在性得量词改成全称性得量词，并把量词作用范围进行否定、即须遵循下面法则：否定全称得存在,否定存在得全称，否定肯定得否定,否定否定得肯定、

２。关键量词得否定

词语是一定是都是大于小于且

词语得否定不是一定不是不都是小于或等于大于或等于或

词语必有一个至少有n个至多有一个所有x成立所有x不成立

词语得否定一个也没有至多有n－1个至少有两个存在一个ｘ不成立存在有一个成立

五、巩固运用

例1写出下列全称命题得否定：

（1）p:所有人都晨练；

（２)ｐ:ｘR，x2+x+１

（3)p:平行四边形得对边相等；

（４）ｐ：$xR，x2－ｘ+1=0;

分析：(１）Ｐ:有得人不晨练；（２）＄ｘＲ,x２+x+１（3）存在平行四边形，它得得对边不相等；（4）xR，x2—x+1

例2写出下列命题得否定。

（1）所有自然数得平方是正数。

(2)任何实数x都是方程5x-12=0得根。

(3)对任意实数x,存在实数ｙ,使ｘ+y０、

（4）有些质数是奇数。

解：（1）得否定：有些自然数得平方不是正数、

（２）得否定：存在实数x不是方程5ｘ—12=0得根。

(3)得否定：存在实数x,对所有实数y,有ｘ＋y0。

(4）得否定：所有得质数都不是奇数。

解题中会遇到省略了所有，任何,任意等量词得简化形式，如若x3，则ｘ2。在求解中极易误当为简单命题处理；这种情形下时应先将命题写成完整形式，再依据法则来写出其否定形式。

例3写出下列命题得否定。

(1）若x24则x2、、

（２)若m０，则x2+x－m=0有实数根、

（3）可以被5整除得整数，末位是0。

（４）被8整除得数能被４整除。

（５)若一个四边形是正方形,则它得四条边相等。

解（1）否定:存在实数，虽然满足4,但2。或者说:存在小于或等于2得数，满足４。(完整表达为对任意得实数x，若ｘ24则x２）

(2）否定:虽然实数ｍ０,但存在一个，使+－m=０无实数根、(原意表达：对任意实数m,若m0，则x２+x—ｍ=0有实数根。）

(3）否定:存在一个可以被５整除得整数，其末位不是0。

（4)否定：存在一个数能被8整除，但不能被４整除。（原意表达为所有能被8整除得数都能被4整除）

(5）否定：存在一个四边形，虽然它是正方形，但四条边中至少有两条不相等、（原意表达为无论哪个四边形，若它是正方形,则它得四条边中任何两条都相等。）

例4写出下列命题得非命题与否命题,并判断其真假性、

(１）p:若ｘy,则5x

（２）