2022-2023学年人教A版必修第一册 第一章 1.5.2全称量词命题和存在量词命题的否定 学案.docxVIP

第一章集合与常用逻辑用语 1.5全称量词与存在量词全称量词命题和,存在量词命题的否认 ?素养导引 .能正确地对全称量词命题和存在量词命题进行否认.（逻辑推理）.掌握全称量词命题和存在量词命题与它们的否认在形式上的变化 规律.（逻辑推理） .能够用全称量词命题和存在量词命题解决简单的数学问题.（逻辑推 理）掌握姿备知识 命题的类型 全称量词命题 存在量词命题 命题的符号 表示 VxGM , p(x) 3 xGM , p(x) 命题的否认 的符号表示 三 x￡M ,「p(x) Vx￡M z -ip(x) 命题的否认 的类型 存在量词命题 全称量词命题 教材认知// 全称量词命题和存在量词命题的否认［诊断］ 【解析】命题“有些梯形是等腰梯形”的否认为：任意梯形都不是等腰 梯形. 答案：任意梯形都不是等腰梯形合作探究、 合作探究、 合作探究、形成关键能力//学习任务一全称量词命题的否认(逻辑推理) 合作探究、 形成关键能力 // .(2022.苏州高一检测)A为奇数集,B为偶数集命题p ：VxGA , 2xGB ,那么( )A . -p ： VxGA , 2x《BB . -p ： Vx^A , 2xqB C . -p ： 3 x^A , 2xqBD . -p ： 3 xGA , 2x4B 【解析】选D.全称量词命题的否认是存在量词命题.\/xE：A , IxElB 的否认：, 2x^B. .命题p ： X/mER ,一元二次方程12 +5+ 1 有实根，那么() A . -p ： VmGR ,一元二次方程x2 + mx+ 1=0没有实根B . -p ： 3 mGR ,一元二次方程x2 + mx+ 1 =0没有实根 C . ~p ： 3 mGR ,一元二次方程x2 + rwc+ 1=0 有实根D . -p ： VmGR ,一元二次方程x2 + twc + } = 0 有实根 【解析】选B. VmGR ,一元二次方程x2 + nvc +1=0有实根的否认： mGR ,一元二次方程x2 + mx + 1=0没有实根. 3.写出以下全称量词命题的否认，并判断真假： ⑴任何一个平行四边形的对边都平行. (2)Va￡R ,方程f + ax + 2 = 0有实数根. (3)V〃 , Z?￡R ,方程qx二b都有唯一解. (4)可以被5整除的整数，末位是0. 【解析】⑴该命题的否认：存在一个平行四边形，它的对边不都平 行.因为平行四边形的两组对边都平行，所以这是一个假命题. (2)该命题的否认：,方程/ +办+ 2 = 0没有实数根.当a = 0 时，方程f + 2 = 0没有实数根，所以这是一个真命题. ⑶该命题的否认：三。/￡R，使方程以二b的解不唯一或不存在.当 a = 0 , b=l ,方程ax = b的解不存在,所以这是一个真命题. (4)该命题的否认：存在被5整除的整数，末位不是0, 15是可以被5 整除的整数，末位不是。.所以这是一个真命题. 思维提升/.对全称量词命题否认的两个步骤 ⑴改变量词：把全称量词换为恰当的存在量词. ⑵否认结论：原命题中的“是”“成立”等改为“不是”“不成立”等. .全称量词命题否认后的真假判断方法全称量词命题的否认是存在量词命题，其真假性与全称量词命题相 反；要说明一个全称量词命题是假命题，只需举一个反例即可. .常见的否认词语 原词 否认词 原词 否认词 等于 不等于 至多一 个 至少两个 大于 不大于 至少一 个 一个也没有 小于 不小于 任意 某个 都是 不都是 所有的 某些 P或q P的否认 且q的否认 P且4 P的否认或 9的否认 学习任务二存在量词命题的否认（逻辑推理）1 . （2022.南通高一检测）设命题〃：曰川〃 1},层2〃 - 1 ,那么命 题p的否认是（） A . VnE：[n\n 1} , Y^ln - 1B . VnE： {n\n\} , n22? - 1 C . 3 nW {n\n }] , /2〃 - 1D . 3 nEi {n\n\} , ?22? - 1 【解析】选A.命题〃的否认是\W {川几 1} , n22n - 1. 2命题“大于2的自然数是不等式3的解”的否认为； 其否认为(“真命题”或“假命题”). 【解析】命题“大于2的自然数是不等式/ 3的解”的否认为“存在大 于2的自然数不是不等式/ 3的解”.因为大于2的自然数有3,4, 5 , 6 ,它的平方一定大于3 ,所以这是一个假命题. 答案：存在大于2的自然数不是不等式x2 3的解 假命题3.写出以下命题的否认，并判断其真假. (1)有一个奇数不能被3整除；⑵有些三角形的三个内角都是60。； (3)3xGR，使得以+1］勺. (4)存在, x2 - x + ； 0. 【解析】⑴该命题的否认：任意一个奇