2017北师大版选修（1-1）1.3《全称量词与存在量词》教案.docVIP

1.3．1 全称量词与存在量词 班级 姓名 学习目标：1. 掌握全称量词与存在量词的的意义； 2. 掌握含有量词的命题：全称命题和存在性命题真假的判断. 学习重难点：含逻辑词的复合命题真假性的判断．正确使用逻辑词表述相关数学内容． 一．引入新课 复习1：写出下列命题的否定,并判断他们的真假： （1）是有理数；（2）5不是15的约数 （3） （4）空集是任何集合的真子集 复习2：判断下列命题的真假，并说明理由： （1），这里：是无理数，：是实数； （2），这里：是无理数，：是实数； (3) ，这里：，：； (4) ，这里：，：. 探究问题： 1.下列语名是命题吗？（1）与（3），（2）与（4）之间有什么关系？ （1）； （2）是整数； （3）对所有的； （4）对任意一个，是整数. 2. 下列语名是命题吗？（1）与（3），（2）与（4）之间有什么关系？ (1)； (2)能被2和3整除； （3）存在一个，使； （4）至少有一个，能被2和3整除. 新知：1.短语“ ”在逻辑中通常叫做全称量词， 并用符号“ ”表示，含有 的命题，叫做全称命题. 其基本形式为： ，读作： 2. 短语“ ”在逻辑中通常叫做存在量词， 并用符号“ ”表示，含有 的命题，叫做存在性命题. 其基本形式为： ，读作： 如：“对任意实数，都有”可表示为 ； “存在有理数，使” 可表示为 . 二．例题讲解 例1 判断下列命题是全称命题还是存在性命题，并找出其中的量词. （）_____________\____ ____； （）00______________\____________； （）___________\______________； （）ABC的内角中有小于600的角___________\___________； （）____________\__________； 例2 判断下列全称命题的真假： （1）所有的素数都是奇数； （2）； （3）对每一个无理数，也是无理数. 变式：判断下列命题的真假： （1） （2） 小结：要判定一个全称命题是真命题，必须对限定集合中每一个元素验证成立； 但要判定全称命题是假命题，却只要能举出集合中的一个，使得不成立即可. 例2 判断下列存在性命题的真假： 有一个实数，使； 存在两个相交平面垂直于同一条直线； 有些整数只有两个正因数. 变式：判断下列命题的真假： (1) (2) 小结：要判定存在性命题是真命题只要在集合中找一个元素，使成立即可； 如果集合中，使成立的元素不存在，那么这个存在性命题是假命题. 三．强化练习 1. 下列命题为存在性命题的是（ ）. A.偶函数的图像关于轴对称 B.正四棱柱都是平行六面体 C.不相交的两条直线都是平行线 D.存在实数大于等于3 2.下列存在性命题中真命题的个数是 . (1)；(2)至少有一个整数它既不是合数也不是素数； ⑶是无理数}，是无理数. 3.下列命题中假命题的个数 (1)； ⑵； ⑶能被2和3整除； ⑷ ”与“”表示下列含有量词的命题. (1)实数的平方大于等于0： （2）存在一对实数使成立： 6. 判断下列全称命题的真假： （1）末位是0的整数可以被子5整除； （2）线段的垂直平分线上的点到这条线段两端点距离相等； （3）负数的平方是正数； （4）梯形的对角线相等. 7. 判断下列全称命题的真假： (1)有些实数是无限不循环小数； （2）有些三角形不是等腰三角形； （3）有的菱形是正方形. 1.3.2 含有一个量词的命题的否定 学习目标： 1. 掌握对含有一个量词的命题进行否定的方法，正确掌握量词否定的各种形式； 2. 明确全称命题的否定是存在性命题，存在性命题的否定是全称命题. 学习重难点：含逻辑词的复合命题真假性的判断．正确使用逻辑词表述相关数学内容． 一．引入新课 复习