高一数学必修第一册全称量词与存在量词第三课时教学设计

高一数学必修第一册全称量词与存在量词第三课时教学设计一、设计立意与课时定位全称量词与存在量词是高中数学逻辑语言的入门内容，安排在必修第一册第一章"集合与常用逻辑用语"之中。第三课时是在前两课时完成"全称量词命题与存在量词命题的识别""两类命题的真假判断"基础上的收束课，核心任务有三项：一是掌握含有一个量词的命题的否定，理解"∀x∈M，p(x)"的否定是"∃x∈M，┐p(x)"，"∃x∈M，p(x)"的否定是"∀x∈M，┐p(x)"；二是能够综合运用全称量词与存在量词刻画数学对象，解决恒成立问题与能成立问题的初步转化；三是通过量词语言的重述，提升学生用精确符号语言表达数学命题的意识，发展逻辑推理素养。本课时的难点不在记忆否定规则，而在理解否定过程中"量词互换、结论否定、范围不变"这三件事为什么同时发生，各自对应怎样的思维根据。如果只让学生背口诀"改量词、否结论"，学生在遇到"任意x＞0，x²＋1≥2x"的否定时，往往会写出"任意x＞0，x²＋1＜2x"这类只否结论不换量词的错误形式。教学设计必须直面这一认知冲突，用反例、用生活语言、用集合交并的直观，把否定规则讲成"理所应当"而非"强行规定"。二、学情分析授课对象为高一年级学生，入学约一个月，已完成集合的学习，具备了用符号语言描述对象的基本经验。从前两课时的课堂反馈看，学生存在的典型问题有三类。第一类，量词省略导致的识别困难。数学教材中大量命题省略量词，如"菱形的对角线互相垂直"实为全称量词命题，学生常把它当作一个不可拆解的整体，无法施行否定操作。第二类，自然语言否定的干扰。学生习惯用"都不是"来否定"都是"，用"都不存在"来否定"存在"，这与逻辑上的否定并不等价。"所有同学都喜欢数学"的否定不是"所有同学都不喜欢数学"，而是"至少有一位同学不喜欢数学"，这一区别必须在本课彻底澄清。第三类，对否定之后真假关系的直觉缺失。原命题与否命题恰有一真一假，这一事实本身就是检验否定是否正确的工具，但学生很少主动使用。本课要把"用真假互换来检验否定"作为一种自觉的解题策略加以训练。三、教学目标1．能写出含有一个量词的命题的否定，并判断原命题与否命题的真假，理解二者一真一假的关系。2．能识别省略量词的命题，补全量词后再进行否定，体会数学命题改写为规范形式的价值。3．初步会处理"恒成立"与"存在解"两类问题：把"对任意x∈R，x²＋ax＋1＞0恒成立"转化为判别式条件，把"存在x使方程有解"与"任意x均无解"这对互为否定的表述联系起来。4．经历从具体实例抽象出否定规则、再用规则解决新问题的过程，发展逻辑推理与数学抽象素养，养成用精确语言表达判断的习惯。四、教学重点与难点教学重点：含有一个量词的命题的否定形式及其应用。教学难点：理解否定过程中量词互换的逻辑必然性；辨析自然语言否定与逻辑否定的差异；省略量词命题的规范化改写。五、教学过程（一）情境引入：一次"抬杠"里的逻辑上课伊始，教师在黑板写下两句话。甲说："我们班所有同学都完成了昨天的作业。"乙说："不对。"教师提问：乙的"不对"意味着什么？乙是不是在断言"所有同学都没完成作业"？给学生两分钟与同桌讨论。多数学生能凭生活经验意识到：乙只需要指出一个没交作业的同学，就能推翻甲的话；乙并不需要声称人人都没交。教师顺势板书两种表述：表述A：所有同学都没完成作业。表述B：至少有一位同学没完成作业。教师追问：如果事实是"只有张三没交"，哪句话成立？学生判断表述B成立、表述A不成立。再问：甲的话与表述B能不能同时成立？能不能同时不成立？学生确认二者恰好一真一假，表述B才是甲的话的真正否定，而表述A不是。设计意图：用课堂日常情境替代抽象定义，让学生在"抬杠"这一自然语言活动中直观感到：否定"所有"，需要的不是"所有不"，而是"存在一个不"。这为量词互换规则埋下了经验之根，也把本课的核心冲突摆在明处。（二）探究一：全称量词命题的否定教师给出教材中的典型命题，让学生逐一写出否定，并判断真假。命题p₁：所有矩形都是平行四边形。命题p₂：每一个素数都是奇数。命题p₃：∀x∈R，x＋|x|≥0。对p₁，学生由情境迁移，很快写出：存在一个矩形不是平行四边形。师生共同判断：p₁为真，其否定义为假，吻合。对p₂，学生写出：存在一个素数不是奇数。教师请学生判断原命题真假。有学生答"真"，立即有学生反驳：2是素数但不是奇数，所以原命题为假，否定"存在一个素数不是奇数"为真，因为2就是证据。教师强调：全称量词命题为假，只需一个反例；反例本身就是否定命题为真的见证。对p₃，先判断原命题：当x≥0时，x＋|x|＝2x≥0；当x＜0时，x＋|x|＝x－x＝0。故原命题为真。其否定写作：∃x₀∈R，x₀＋|x₀|＜0。这个否定是假的，因为不存在这样的实数。三个例子处理完毕，教师引导归纳。请学生观察：否定前后，陈述对象的范围"M"变了吗？量词怎么变？结论怎么变？学生归纳出三句话，教师板书：否定全称量词命题"∀x∈M，p(x)"：第一步，量词"∀"改为"∃"；第二步，结论p(x)否定为┐p(x)；第三步，x的取值范围M保持不变。即：┐(∀x∈M，p(x))⇔∃x∈M，┐p(x)。教师对"范围不变"单独说明：否定不是换一个话题，命题谈论的始终是M中的元素。把"所有矩形……"的否定说成"存在一个图形不是平行四边形"就扩大了讨论范围，不严谨；应限定"存在一个矩形"。（三）探究二：存在量词命题的否定教师提出问题串：如何否定"∃x∈M，p(x)"？能否仿照刚才的过程，先构造实例再归纳？命题q₁：有些平行四边形是菱形。命题q₂：∃x∈R，x²－2x＋3＝0。对q₁，教师请学生用生活化方式思考："有些平行四边形是菱形"要否定它，需要断言什么？学生经过讨论得出：需要断言"每一个平行四边形都不是菱形"，即"所有平行四边形都不是菱形"。判断真假：原命题为真（菱形确实存在），否定为假。对q₂，先配方：x²－2x＋3＝(x－1)²＋2≥2＞0，所以方程无实数解，原命题为假。其否定：∀x∈R，x²－2x＋3≠0，这是真命题。教师引导学生归纳对称的结论：否定存在量词命题"∃x∈M，p(x)"：┐(∃x∈M，p(x))⇔∀x∈M，┐p(x)。教师把两条规则并排板书，请学生观察结构上的对偶：否定的本质动作是"改量词、否结论"，而"∀"与"∃"互为搭档，恰如"且"与"或"在DeMorgan律中的对偶。教师可补充一句直观：说"存在一个反例"失败，等价于说"所有对象都合格"；说"所有对象合格"失败，等价于说"存在至少一个次品"。量词的互换不是约定俗成的记号游戏，而是"证伪"与"证全"之间逻辑关系的符号化。为加深理解，教师给出一组辨析题，让学生判断所给"否定"是否正确。原命题：所有的等边三角形都是等腰三角形。同学甲的否定：所有的等边三角形都不是等腰三角形。同学乙的否定：存在一个等边三角形，它不是等腰三角形。学生判断乙正确。教师追问甲乙两种表述的逻辑关系："所有不"蕴含"存在不"吗？反向蕴含吗？学生讨论后明确："所有等边三角形都不是等腰三角形"若成立，则"存在一个不是"必成立，反之不然。所以"所有不"比真正的否定"更强"，强命题不能做原命题的否定，因为否定必须与原命题构成"非此即彼"的完全划分。（四）例题精讲：三类典型问题例1写出下列命题的否定，并判断真假。（1）∀x∈R，x²－x＋1/4≥0；（2）∃x∈R，x²＋2x＋2≤0；（3）任意两个等边三角形都相似。师生共同完成。（1）否定：∃x₀∈R，x₀²－x₀＋1/4＜0。由于x²－x＋1/4＝(x－1/2)²≥0恒成立，原命题真，否定假。教师指出这一小题的另一层价值：被否定的结论中"≥"应否定为"＜"，不能写成"≤"，提醒学生结论否定要做到逻辑上恰好互补。（2）否定：∀x∈R，x²＋2x＋2＞0。因x²＋2x＋2＝(x＋1)²＋1≥1＞0，否定为真，原命题为假。（3）该命题省略了量词，先补全：任意两个等边三角形，它们都相似，实为全称量词命题。否定：存在两个等边三角形，它们不相似。原命题真（对应角均为60°），否定为假。教师借此题强调：面对省略量词的命题，标准动作是"先补量词、再行否定"，这是数学阅读的基本功。例2已知命题p：∀x∈R，x²＋ax＋1＞0。若p为真命题，求实数a的取值范围。教师引导学生把逻辑语言翻译成代数条件："对任意实数x，二次式恒正"等价于抛物线开口向上且与x轴无交点，即判别式Δ＝a²－4＜0，解得－2＜a＜2。变式追问：若p为假命题呢？学生的第一反应是解补集：a≤－2或a≥2。教师指出另一条路：p为假即┐p为真，即"∃x∈R，x²＋ax＋1≤0"，即抛物线与x轴有交点，Δ≥0，同样得到a≤－2或a≥2。两条路径殊途同归，学生对"否定即补集"这一思想有了具体依托。教师板书一句话：否定一个命题，就是取满足条件的对象集合的补集。例3已知命题"∃x∈[1，2]，x²－mx＋1＜0"为真命题，求m的取值范围。教师提示：能成立问题与恒成立问题互为否定的两端。解法一（正面）：存在x使x²＋1＜mx。在区间[1，2]上，需m＞(x²＋1)/x的最小值。令f(x)＝x＋1/x，x∈[1，2]，由对勾函数性质（或后续将学的单调性，此处可用作差法验证：对1≤x₁＜x₂≤√2，f递减之意；鉴于学生尚未系统学习函数单调性，课堂采用试算与图象观察）知f在x＝1附近取较小值，f(1)＝2，f(2)＝2.5，且在x∈[1，2]内当x→√2附近更小值约为2。精确论证可留用基本不等式：x＋1/x≥2，等号当且仅当x＝1时取得，而1∈[1，2]，故最小值为2。因此m＞2。解法二（否定视角）："∃x∈[1，2]，x²－mx＋1＜0"为真，其否定"∀x∈[1，2]，x²－mx＋1≥0"为假。恒成立的条件是m≤min(x＋1/x)＝2，其反面即m＞2。两种解法对照，学生看到：能成立条件的边界，恰好是恒成立条件边界取否定，逻辑上与代数上完全吻合。（五）课堂练习与即时反馈练习1写出下列命题的否定并判断真假：（1）所有的正方形都是菱形；（2）∀x∈R，x²＋x＋1＞0；（3）∃x∈Z，x²＝3；（4）有的三角形三个内角都大于60°。参考答案要点：（1）否定：存在一个正方形不是菱形，假。（2）否定：∃x₀∈R，x₀²＋x₀＋1≤0，假（配方x²＋x＋1＝(x＋1/2)²＋3/4＞0）。（3）否定：∀x∈Z，x²≠3，真。（4）否定：所有三角形都至少有一个内角不大于60°，真（内角和180°约束）。练习2判断下列"否定"的正误，错误的请改正：（1）"所有人都及格"的否定是"所有人都不及格"；（2）"∃x＞0，x²＝2"的否定是"∃x＞0，x²≠2"；（3）"∀x∈(0，＋∞)，lnx＜x－1"的否定是"∃x₀∈(0，＋∞)，lnx₀≥x₀－1"。要点：（1）错，应为"至少有一个人不及格"；（2）错，量词未换，应为"∀x＞0，x²≠2"；（3）正确，注意范围(0，＋∞)保持不变。练习3若命题"∀x∈R，x²－2x＋m＞0"为真，求m的取值范围；若将全称量词改为存在量词，命题"∃x∈R，x²－2x＋m＞0"为真，m的范围又是什么？要点：前一问Δ＝4－4m＜0，得m＞1；后一问，由于抛物线开口向上、可任意大，故对任意实数m都存在x使式子大于0，即m∈R。这一问的答案"一切实数"往往令学生惊讶，教师应借此机会强调：能成立问题与恒成立问题对参数约束的强度天差地别，量词不同，问题完全不同。（六）课堂小结教师引导学生从三个层面回顾。知识层面：两条否定规则——┐(∀x∈M，p(x))⇔∃x∈M，┐p(x)；┐(∃x∈M，p(x))⇔∀x∈M，┐p(x)。操作口诀"改量词、否结论、范围不变"。思想层面：否定即补集。一个命题把M中的元素分成"使命题成立的"与"不成立的"两类，否定就是交换看待这两类的立场。恒成立与能成立互为否定的两端，这一结构性认识将成为今后处理参数问题、不等式问题的基本视角。方法层面：三步操作法——补全省略的量词，写出规范否定，利用"原命题与否定一真一假"进行检验。检验意识比书写速度更重要。（七）作业设计基础层：写出下列命题的否定并判断真假。（1）∀x∈R，|x|＋1≥1；（2）∃x∈Q，x²＝2；（3）所有的奇数都不能被2整除；（4）有的无理数是无限循环小数。提高层：已知命题p："∀x∈[－1，1]，x²－2x＋a²－3≤0"为真命题，求实数a的取值范围。提示：二次函数在闭区间上的最大值在端点处取得，比较f(－1)与f(1)。拓展层：设命题p："∃x∈R，使x²＋(a－1)x＋1＜0"，命题q："∀x∈[1，2]，x²－2x－a≥0"。若p真q假，求a的取值范围。本题综合"恒成立""能成立"两类转化，要求学生写出完整推理链条，体会量词否定在参数讨论中的枢纽作用。六、板书设计主板书分列三栏。左栏：情境命题及其否定的对比表（"所有都—存在不""存在—所有不"）。中栏：两条否定规则的符号表达，下方标注"改量词、否结论、范围不变"九字要领与"原命题与否定一真一假"的检验依据。右栏：例2与例3的解题骨架，突出"恒成立⇔判别式条件""能成立⇔恒成立之否定"的转化路径。七、教学反思预设本课容量较大，例