全称量词和存在量词完美版

1、.全称量词和存在量词教学目标1通过生活和数学中的丰富实例，理解全称量词与存在量词的意义；2能准确地利用全称量词与存在量词表达数学内容，并判断全称命题和特称命题的真假教学重点及难点理解全称量词与存在量词的意义，并判断全称命题和特称命题的真假教学类型：新授课教学过程一 引入以下语句是命题吗.；是整数；对所有的，；对任意一个，是整数。与、与之间有什么关系.结论：由命题的定义出发，12不是命题，34是命题。分析34分别用短语“对所有的“对任意一个对变量x进展限定，从而使34称为可以判断真假的语句。二 教授新课：1.全称量词和全称命题的概念：.概念：短语“所有的、“任意一个在逻辑中通常叫做全称量词，用符

2、号“表示。含有全称量词的命题，叫做全称命题。例如：对任意，是奇数；所有的正方形都是矩形。常见的全称量词还有：“一切、“每一个、“任给、“所有的等。通常，将含有变量x的语句用、表示，变量x的取值X围用M表示。全称命题“对M中任意一个x，有成立。简记为：，读作：任意x属于M，有成立。.例1：判断以下全称命题的真假：所有的素数都是奇数；，；对每一个无理数x，也是无理数。学生练习个别答复教师点评并板书点评：要判定全称命题的真假，需要对取值X围M内的每个元素x，证明px是否成立，假设成立，那么全称命题是真命题，否那么为假。2存在量词和特称命题的概念引入：以下语句是命题吗.；x能被2和3整除；存在一个，使

3、；至少有一个，x能被2和3整除。与、与之间有什么关系.结论：由命题的定义出发，12不是命题，34是命题分析34分别用短语“存在一个“至少有一个对变量x进展限定，从而使34称为可以判断真假的语句。概念：短语“存在一个、“至少一个在逻辑中通常叫做存在量词，用符号“表示。含有存在量词的命题，叫做特称命题存在性命题。例如：有一个素数不是奇数；有的平行四边形是菱形。常见的存在量词还有“有些、“有一个、“对某个、“有的等。特称命题“存在M中的一个x，使成立。简记为：，读作：存在一个x属于M，使成立。例1：判断以下存在性命题的真假：有一个实数x，使成立；存在两个相交平面垂直同一条直线；有些整数只有两个正因数

4、。学生答复教师点评并板书点评：要判定特称命题是真命题，只需要在取值X围M内找到一个元素x0，使px0成立即可。如果在M中，使px0成立的元素x不存在，那么这个特称命题是假命题。三 小结全称量词，全称命题，存在量词，特称命题的概念及如何判定全称命题与特称命题的真假性四练习： 五作业：含有一个量词的命题的否认教学目标1进一步理解全称命题与特称命题的意义；2能准确地写出全称命题和特称命题的否认，并掌握其之间的关系。教学重点：全称命题和特称命题的否认教学难点：全称命题与特称命题的否认，及其它们之间的关系教学类型：新授课教学过程：一 复习引入：1. 全称命题与特称命题的概念2. 探究：写出下面命题的否认

5、：3. 所有的矩形都是平行四边形（1） 每一个素数都是奇数（2） ，x22x10问：这些命题和它们的否认在形式上有什么变化.分析：上面命题都是全称命题，即具有“，的形式。其中，命题1的否认是：“并非所有的矩形都是平行四边形，也就是说“存在一个矩形不是平行四边形。注意区别：1的否认不是“所有的矩形都不是平行四边形，是由于对于原命题，我们只要找到存在一个矩形不是平行四边形就可以否认原命题，而并不排除有其它的矩形是平行四边形。所以同理，可以得出：命题2的否认是：“并非每一个素数都是奇数，也就是“存在一个素数不是奇数；命题3的否认是：“并非所有的xR，x22x10，也就是说 xR，x22x10。发现：

6、上述例子中的全称命题的否认都成立特称命题二 新课教授：1.全称命题的否认从上述例子可以看出：三个全称命题的否认都成了特称命题。一般来说：对于含有一个量词的全称命题的否认，有以下结论：全称命题p：，它的否认：，x也就是说全称命题的否认是特称命题例题课本例3：写出以下全称命题的否认：（1） p：所有能被3整除的整数都是奇数（2） p: 每一个平行四边形的四个顶点共圆（3） P：对于任意的xZ，x2的个位数字不等于3学生练习个别答复教师点评2.特称命题的否认： 引入：全称命题的否认是特称命题，那么特称命题的否认是否为全称命题呢.探究：写出以下命题的否认：（1） 有些实数的绝对值是正数（2） 某些平行

7、四边形是菱形（3） ，x21<0这些命题的否认是什么.分析：上述命题都是特称命题，即具有形式：“，。其中1的否认是：“不存在一个实数，它的绝对值是正数，也就是说，所有实数的绝对值都不是正数。注意区别：1的否认不是“有些实数的绝对值不是正数，而是“所有实数的绝对值都不是正数，因为前者只否认了一局部，不确定是否排除有其它的实数的绝对值是正数，故应该是后者。同理：2的否认是：“没有一个平行四边形是菱形也就是说：“每一个平行四边形都不是菱形（4） 的否认是“不存在，x21<0，也就是说“，x21>0从上述例子可以看出：三个特称命题的否认都成了全称命题。一般来说：对于含有一个量词的特称命题的否认，有以下结论：特称命题p：，px它的否认：，x也就是说特称命题的否认是全称命题。例题课本例题4写出以下特称命题的否认：1P:，x22x102P：有的三角形是等边三角形3有一个素数含三个正因数学生练习个别答复教师点评三 小结：1.含有一个量词的全称命题的否认： 全称命题p：，它的否认：，x也就是说全称命题的否认是特称命