苏教版数学选修2-1讲义第1章1.21.31.3.1量词1.3.2含有一个量词的命题的否定Word版含答案

1.2简单的逻辑联结词(不作要求)1.3全称量词与存在量词1.3.1量词1.3.2含有一个量词的命题的否定学习目标核心素养1.理解全称量词与存在量词的意义，能准确地利用全称量词和存在量词叙述简单的数学内容．(重点)2.能判定全称命题和存在性命题的真假．(难点)3.了解对含有一个量词的命题的否定的意义，能正确地对含有一个量词的命题进行否定．(易错点)1.通过对含有量词的命题的否定，培养逻辑推理素养．2.借助含量词的命题的真假求参数问题，提升数学运算素养.1．全称量词和全称命题全称量词“所有”、“任意”、“每一个”等表示全体的量词在逻辑中称为全称量词符号表示∀全称命题含有全称量词的命题称为全称命题符号表示∀x∈M，p(x)2．存在量词和存在性命题存在量词“有一个”、“有些”、“存在一个”等表示部分的量词在逻辑中称为存在量词符号表示∃存在性命题含有存在量词的命题称为存在性命题符号表示∃x∈M，p(x)思考：(1)“一元二次方程ax2＋2x＋1＝0有实数解”是存在性命题还是全称命题？请改写成相应命题的形式．(2)“不等式(m＋1)x2－(m－1)x＋3(m－1)<0对任意实数x恒成立”是存在性命题还是全称命题？请改写成相应命题的形式．[提示](1)是存在性命题，可改写为“∃x∈R，使ax2＋2x＋1＝0(2)是全称命题，可改写成：“∀x∈R，(m＋1)x2－(m－1)x＋3(m－1)<0”3．全称命题和存在性命题的否定1．下列命题中为全称命题的是()A．至少有一个自然数是2的倍数B．存在小于零的整数C．方程3x＝2有实数根D．无理数是小数D[D中“无理数”指的是所有的无理数．]2．下列语句是存在性命题的是()A．整数n是2和7的倍数B．存在整数n，使n能被11整除C．x＞7D．∀x∈M，p(x)成立B[B选项中有存在量词“存在”，故B项是存在性命题，A和C不是命题，D是全称命题．]3．下列四个命题中的真命题为()A．∃x∈Z,1<4x<3B．∃x∈Z,5x＋1＝0C．∀x∈R，x2－1＝0D．∀x∈R，x2＋x＋2>0D[当x∈R时，x2＋x＋2＝eq\b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(1,2)))2＋eq\f(7,4)>0，故选D.]4．已知命题p：∀x∈R，sinx≤1，则命题p的否定是________．∃x∈R，sinx＞1[命题p是全称命题，其否定应为存在性命题，即綈p：∃x∈R，sinx＞1.]两种命题的概念及真假判断【例1】指出下列命题是全称命题还是存在性命题，并判断它们的真假．(1)∀x∈N,2x＋1是奇数；(2)存在一个x∈R，使eq\f(1,x－1)＝0；(3)能被5整除的整数末位数是0；(4)有一个角α，使sinα>1[解](1)是全称命题，因为∀x∈N,2x＋1都是奇数，所以该命题是真命题．(2)是存在性命题．因为不存在x∈R，使eq\f(1,x－1)＝0成立，所以该命题是假命题．(3)是全称命题．因为25能被5整除，但末位数不是0，因此该命题是假命题．(4)是存在性命题，因为∀α∈R，sinα∈[－1,1]，所以该命题是假命题．1．判断命题是全称命题还是存在性命题的方法(1)分析命题中是否含有量词；(2)分析量词是全称量词还是存在量词；(3)若命题中不含量词，要根据命题的意义去判断．2．全称命题与存在性命题真假的判断方法(1)要判定全称命题“∀x∈M，p(x)”是真命题，需要对集合M中每个元素x，证明p(x)都成立；如果在集合M中找到一个元素x，使得p(x)不成立，那么这个全称命题就是假命题．(2)要判定存在性命题“∃x∈M，p(x)”是真命题，只需在集合M中找到一个元素x，使p(x)成立即可；如果在集合M中，使p(x)成立的元素x不存在，那么这个存在性命题就是假命题．1．(1)以下四个命题既是存在性命题又是真命题的是()A．锐角三角形的内角是锐角或钝角B．至少有一个实数x，使x2≤0C．两个无理数的和必是无理数D．存在一个负数x，使eq\f(1,x)>2B[A中锐角三角形的内角是锐角或钝角是全称命题；B中x＝0时，x2＝0，所以B既是存在性命题又是真命题；C中因为eq\r(3)＋(－eq\r(3))＝0，所以C是假命题；D中对于任一个负数x，都有eq\f(1,x)<0，所以D是假命题．](2)下列命题中，真命题是()A．∃x∈eq\b\lc\[\rc\](\a\vs4\al\co1(0，\f(π,2)))，sinx＋cosx≥2B．∀x∈(3，＋∞)，x2>2x＋1C．∃x∈R，x2＋x＝－1D．∀x∈eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,2)，π))，tanx>sinxB[(1)对于选项A，sinx＋cosx＝eq\r(2)sineq\b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,4)))≤eq\r(2)，∴此命题不成立；对于选项B，x2－2x－1＝(x－1)2－2，当x>3时，(x－1)2－2>0，∴此命题成立；对于选项C，x2＋x＋1＝eq\b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(1,2)))2＋eq\f(3,4)>0，∴x2＋x＝－1对任意实数x都不成立，∴此命题不成立；对于选项D，当x∈eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,2)，π))时，tanx<0，sinx>0，命题显然不成立．故选B.]含有一个量词的命题的否定【例2】(1)命题“∀x∈R，x2≠x”的否定是()A．∀x∉R，x2≠xB．∀x∈R，x2＝xC．∃x∉R，x2≠xD．∃x∈R，x2＝x(2)写出下列命题的否定，并判断其真假：①p：∀x∈R，x2－x＋eq\f(1,4)≥0；②p：所有的正方形都是菱形；③p：至少有一个实数x，使x3＋1＝0.[思路探究]先判定命题是全称命题还是存在性命题，再针对不同的形式加以否定．(1)D[原命题的否定为∃x∈R，x2＝x，故选D.](2)[解]①綈p：∃x∈R，x2－x＋eq\f(1,4)<0，假命题．因为∀x∈R，x2－x＋eq\f(1,4)＝eq\b\lc\(\rc\)(\a\vs4\al\co1(x－\f(1,2)))2≥0恒成立．②綈p：至少存在一个正方形不是菱形，假命题．③綈p：∀x∈R，x3＋1≠0，假命题．因为x＝－1时，x3＋1＝0.对全称命题和存在性命题进行否定的步骤与方法1．确定类型：是存在性命题还是全称命题．2．改变量词：把全称量词换为恰当的存在量词；把存在量词换为恰当的全称量词．3．否定结论：原命题中“是”“有”“存在”“成立”等改为“不是”“没有”“不存在”“不成立”等．提醒：无量词的全称命题要先补回量词再否定．2．(1)命题“∃x∈(0，＋∞)，lnx＝x－1”的否定是(A．∀x∈(0，＋∞)，lnx≠x－1B．∀x∉(0，＋∞)，lnx＝x－1C．∃x∈(0，＋∞)，lnx0≠x0－1D．∃x∉(0，＋∞)，lnx0＝x0－1A[存在性命题的否定是全称命题，故原命题的否定是∀x∈(0，＋∞)，lnx≠x－1.](2)写出下列命题的否定，并判断其真假．①p：不论m取何实数，方程x2＋x－m＝0必有实数根；②q:存在一个实数x，使得x2＋x＋1≤0；③r：等圆的面积相等，周长相等；④s：对任意角α，都有sin2α＋cos2α＝1.[解]①这一命题可以表述为p：“对所有的实数m，方程x2＋x－m＝0有实数根”，其否定形式是綈p：“存在实数m，使得x2＋x－m＝0没有实数根”．注意到当Δ＝1＋4m＜0时，即m＜－eq\f(1,4)时，一元二次方程没有实数根，所以綈p是真命题．②这一命题的否定形式是綈q：“对所有的实数x，都有x2＋x＋1＞0”，利用配方法可以证得綈q是真命题．③这一命题的否定形式是綈r：“存在一对等圆，其面积不相等或周长不相等”，由平面几何知识知綈r是假命题．④这一命题的否定形式是綈s：“存在α∈R，sin2α＋cos2α≠1”，由于命题s是真命题，所以綈s是假命题.由命题的真假确定参数的范围[探究问题]1．若含参数的命题p是假命题，如何求参数的取值范围？提示：先求綈p，再求参数的取值范围．2．全称命题和存在性命题与恒成立问题和存在性问题有怎样的对应关系？提示：全称命题与恒成立问题对应，存在性命题与存在性问题对应．【例3】(1)若命题p“∃x∈R,2x2－3ax＋9<0”为假命题，则实数a的取值范围是________．(2)已知命题p：∃x∈R,9x－3x－a＝0，若命题p是真命题，求实数a的取值范围．[思路探究](1)先求綈p，再求参数的取值范围．(2)令3x＝t，看作一元二次方程有解问题．(1)[－2eq\r(2)，2eq\r(2)][綈p：∀x∈R,2x2－3ax＋9≥0为真命题．则Δ＝9a2－72≤0，解得－2eq\r(2)≤a≤2eq\r(2)](2)解：设3x＝t，由于x∈R，则t∈(0，＋∞)，则9x－3x－a＝0⇔a＝(3x)2－3x⇔a＝t2－t，t∈(0，＋∞)，设f(t)＝t2－t，t∈(0，＋∞)，则f(t)＝eq\b\lc\(\rc\)(\a\vs4\al\co1(t－\f(1,2)))2－eq\f(1,4)，当t＝eq\f(1,2)时，f(t)min＝－eq\f(1,4)，则函数f(t)的值域是eq\b\lc\[\rc\)(\a\vs4\al\co1(－\f(1,4)，＋∞))，所以实数a的取值范围是eq\b\lc\[\rc\)(\a\vs4\al\co1(－\f(1,4)，＋∞)).母题探究：1.若将本例题(2)条件“∃x∈R”，改为“∃x∈[0,1]”，其他不变，试求实数a的取值范围．[解]设3x＝t，x∈[0,1]，∴t∈[1,3]．a＝t2－t，∵t2－t＝eq\b\lc\(\rc\)(\a\vs4\al\co1(t－\f(1,2)))2－eq\f(1,4)，∴a＝t2－t在t∈[1,3]上单调递增．∴t2－t∈eq\b\lc\[\rc\](\a\vs4\al\co1(0，6)).即a的取值范围是eq\b\lc\[\rc\](\a\vs4\al\co1(0，6)).2．将本例题(2)换为“∀x∈eq\b\lc\[\rc\](\a\vs4\al\co1(0，\f(π,4)))，tanx≤m是真命题”，试求m的最小值．[解]由已知可得m≥tanxeq\b\lc\(\rc\)(\a\vs4\al\co1(x∈\b\lc\[\rc\](\a\vs4\al\co1(0，\f(π,4)))))恒成立．设f(x)＝tanxeq\b\lc\(\rc\)(\a\vs4\al\co1(x∈\b\lc\[\rc\](\a\vs4\al\co1(0，\f(π,4)))))，显然该函数为增函数，故f(x)的最大值为feq\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,4)))＝taneq\f(π,4)＝1，由不等式恒成立可得m≥1，即实数m的最小值为1.应用两种命题求参数范围的两类题型1．全称命题的常见题型是“恒成立”问题，全称命题为真时，意味着命题对应的集合中的每一个元素都具有某种性质，所以可以利用代入体现集合中相应元素的具体性质中求解；也可以根据函数等数学知识来解决．2．存在性命题的常见题型是以适合某种条件的结论“存在”“不存在”“是否存在”等语句表述．解答这类问题，一般要先对结论作出肯定存在的假设，然后从肯定的假设出发，结合已知条件进行推理证明，若推出合理的结论，则存在性随之解决；若导致矛盾，则否定了假设．1．判断命题是全称命题还是存在性命题，主要是看命题中是否含有全称量词或存在量词，有些全称命题不含全称量词，可以根据命题涉及的意义去判断．2．要确定一个全称命题是真命题，需保证该命题对所有的元素都成立；若能举出一个反例说明命题不成立，则该全称命题是假命题．3．要确定一个存在性命题是真命题，举出一个例子说明该命题成立即可；若经过逻辑推理得到命题对所有的元素都不成立，则该存在性命题是假命题．4．对含有一个量词的命题的否定要注意以下问题：(1)确定命题类型，是全称命题还是存在性命题．(2)改变量词：把全称量词改为恰当的存在量词；把存在量词改为恰当的全称量词．(3)否定结论：原命题中的“是”“有”“存在”“成立”等分别改为“不是”“没有”“不存在”“不成立”等．(4)无量词的全称命题要先补回量词再否定．1．判断(正确的打“√”，错误的打“×”)(1)命题“对数函数都是单调函数”是全称命题．()(2)命题“有些菱形是正方形”是全称命题．()(3)命题：∀x∈R，x2－3x＋3>0的否定是∀x∉R，x2－3x＋3≤0.()[答案](1)√(2)×(3)×2．命