高中数学常用逻辑用语的解题方法归纳

§1.2．常用逻辑用语一、知识导学1．逻辑联结词：“且”、“或”、“非”分别用符号“”“”“”表示.2．命题：能够判断真假的陈述句．3．简单命题：不含逻辑联结词的命题4．复合命题：由简单命题和逻辑联结词构成的命题，复合命题的基本形式：p或q；p且q；非p5．四种命题的构成：原命题：若p则q；逆命题：若q则p；否命题：若p则q；逆否命题：若q则p.6．原命题与逆否命题同真同假，是等价命题，即“若p则q”“若q则p”.7．反证法：欲证“若p则q”，从“非q”出发，导出矛盾，从而知“若p则非q”为假，即“若p则q”为真.8．充分条件与必要条件：①pq：p是q的充分条件；q是p的必要条件；②pq：p是q的充要条件.9．常用的全称量词：“对所有的”、“对任意一个”“对一切”“对每一个”“任给”等；并用符号“”表示.含有全称量词的命题叫做全称命题.10．常用的存在量词：“存在一个”、“至少有一个”、“有些”、“有一个”、“有的”、“对某个”；并用符号“”表示.含有存在量词的命题叫做特称命题.二、疑难知识导析1．基本题型及其方法（1）由给定的复合命题指出它的形式及其构成；（2）给定两个简单命题能写出它们构成的复合命题，并能利用真值表判断复合命题的真假；（3）给定命题，能写出它的逆命题、否命题、逆否命题，并能运用四种命题的相互关系，特别是互为逆否命题的等价性判断命题的真假.注意：否命题与命题的否定是不同的.（4）判断两个命题之间的充分、必要、充要关系；方法：利用定义（5）证明p的充要条件是q；方法：分别证明充分性和必要性（6）反证法证题的方法及步骤：反设、归谬、结论.反证法是通过证明命题的结论的反面不成立而肯定命题的一种数学证明方法，是间接证法之一.注：常见关键词的否定：关键词是都是（全是）（）至少有一个至多有一个任意存在否定不是不都是（全是）（）一个也没有至少有两个存在任意2．全称命题与特称命题的关系：全称命题p:)(,xpMx,它的否定p:)(,xpMx；特称命题p:)(,xpMx,它的否定p:)(,xpMx；即全称命题的否定是特称命题，特称命题的否定是全称命题.否定一个全称命题可以通过“举反例”来说明.三、经典例题导讲[例1]把命题“全等三角形一定相似”写成“若p则q”的形式，并写出它的逆命题、否命题与逆否命题.错解：原命题可改写成：若两个三角形全等，则它们一定相似.逆命题：若两个三角形相似，则它们全等.否命题：若两个三角形不一定全等，则它们不一定相似.逆否命题：若两个三角形不一定相似，则它们不一定全等.错因：对“一定”的否定把握不准，“一定”的否定“一定不”，在逻辑知识中求否定相当于求补集，而“不一定”含有“一定”的意思.对这些内容的学习要多与日常生活中的例子作比较，注意结合集合知识.因而否命题与逆否命题错了.正解：否命题：若两个三角形不全等，则它们不相似.逆否命题：若两个三角形不相似，则它们不全等.[例2]将下列命题改写成“若p则q”的形式，并写出否命题.ao时，函数y=ax+b的值随x值的增加而增加.错解：原命题改为：若ao时，x的值增加，则函数y=ax+b的值也随着增加.错因：如果从字面上分析最简单的方法是将ao看作条件，将“随着”看作结论，而x的值增加，y的值也增加看作研究的对象，那么原命题改为若ao时，则函数y=ax+b的值随着x的值增加而增加，其否命题为若ao时，则函数y=ax+b的值不随x值的增加而增加.此题错解在注意力集中在“增加”两个字上，将x值的增加当做条件，又不把ao看作前提，就变成两个条件的命题，但写否命题时又没按两个条件的规则写，所以就错了.正解：原命题改为：ao时，若x的值增加，则函数y=ax+b的值也随着增加.否命题为：ao时，若x的值不增加，则函数y=ax+b的值也不增加.原命题也可改为：当x的值增加时，若ao，，则函数y=ax+b的值也随着增加.否命题为：当x增加时，若ao，则函数y=ax+b的值不增加.[例3]已知h0，设命题甲为：两个实数a、b满足hba2，命题乙为：两个实数a、b满足ha|1且hb|1，那么A．甲是乙的充分但不必要条件B．甲是乙的必要但不充分条件C．甲是乙的充要条件D．甲是乙的既不充分也不必要条件错解：hba2hhhba2)1()1(ha|1|,hb|1|关键词是都是（全是）（）至少有一个至多有一个任意存在否定不是不都是（全是）（）一个也没有至少有两个存在任意2．全称命题与特称命题的关系：全称命题p:)(,xpMx,它的否定p:)(,xpMx；特称命题p:)(,xpMx,它的否定p:)(,xpMx；即全称命题的否定是特称命题，特称命题的否定是全称命题.否定一个全称命题可以通过“举反例”来说明.三、经典例题导讲[例1]把命题“全等三角形一定相似”写成“若p则q”的形式，并写出它的逆命题、否命题与逆否命题.错解：原命题可改写成：若两个三角形全等，则它们一定相似.逆命题：若两个三角形相似，则它们全等.否命题：若两个三角形不一定全等，则它们不一定相似.逆否命题：若两个三角形不一定相似，则它们不一定全等.错因：对“一定”的否定把握不准，“一定”的否定“一定不”，在逻辑知识中求否定相当于求补集，而“不一定”含有“一定”的意思.对这些内容的学习要多与日常生活中的例子作比较，注意结合集合知识.因而否命题与逆否命题错了.正解：否命题：若两个三角形不全等，则它们不相似.逆否命题：若两个三角形不相似，则它们不全等.[例2]将下列命题改写成“若p则q”的形式，并写出否命题.ao时，函数y=ax+b的值随x值的增加而增加.错解：原命题改为：若ao时，x的值增加，则函数y=ax+b的值也随着增加.错因：如果从字面上分析最简单的方法是将ao看作条件，将“随着”看作结论，而x的值增加，y的值也增加看作研究的对象，那么原命题改为若ao时，则函数y=ax+b的值随着x的值增加而增加，其否命题为若ao时，则函数y=ax+b的值不随x值的增加而增加.此题错解在注意力集中在“增加”两个字上，将x值的增加当做条件，又不把ao看作前提，就变成两个条件的命题，但写否命题时又没按两个条件的规则写，所以就错了.正解：原命题改为：ao时，若x的值增加，则函数y=ax+b的值也随着增加.否命题为：ao时，若x的值不增加，则函数y=ax+b的值也不增加.原命题也可改为：当x的值增加时，若ao，，则函数y=ax+b的值也随着增加.否命题为：当x增加时，若ao，则函数y=ax+b的值不增加.[例3]已知h0，设命题甲为：两个实数a、b满足hba2，命题乙为：两个实数a、b满足ha|1且hb|1，那么A．甲是乙的充分但不必要条件B．甲是乙的必要但不充分条件C．甲是乙的充要条件D．甲是乙的既不充分也不必要条件错解：hba2hhhba2)1()1(ha|1|,hb|1|故本题应选C.错因：（1）对充分、必要、充要条件的概念分不清，无从判断，凭猜测产生错误；（2）不能运用绝对值不等式性质作正确推理而产生错误.正解：因为,11hbha所以,11hbhhah两式相减得hbah22故hba2即由命题甲成立推出命题乙成立，所以甲是乙的必要条件.由于hbha22同理也可得hba2因此，命题甲成立不能确定命题乙一定成立，所以甲不是乙的充分条件，故应选B.[例4]已知命题甲：a+b4,命题乙:a1且b3，则命题甲是命题乙的.错解：由逆否命题与原命题同真同假知，若a=1且b=3则a+b=4成立，所以命题甲是命题乙的充分不必要条件.错因：对命题的否定不正确.a1且b3的否定是a=1或b=3.正解：当a+b4时,可选取a=1,b=5，故此时a1且b3不成立(a=1).同样，a1,且b3时，可选取a=2,b=2,a+b=4，故此时a+b=4.因此，甲是乙的既不充分也不必要条件.注：a1且b3为真时，必须a1,b3同时成立.[例5]已知p是r的充分不必要条件，s是r的必要条件，q是s的必要条件，那么p是q成立的()A．充分不必要条件B．必要不充分条件C．充要条件D．既不充分也不必要条件分析：本题考查简易逻辑知识.因为prsq但r成立不能推出p成立，所以qp,但q成立不能推出p成立，所以选A解：选A[例6]已知关于x的一元二次方程(m∈Z)①mx2－4x＋4＝0②x2－4mx＋4m2－4m－5＝0求方程①和②都有整数解的充要条件.解：方程①有实根的充要条件是,04416m解得m1.方程②有实根的充要条件是0)544(41622mmm，解得.45m,.145Zmm而故m=－1或m=0或m=1.当m=－1时，①方程无整数解.当m=0时，②无整数解；当m=1时，①②都有整数.从而①②都有整数解m=1.反之，m=1①②都有整数解.∴①②都有整数解的充要条件是m=1.[例7]用反证法证明：若a、b、cR，且122bax，122cby，122acz，则x、y、z中至少有一个不小于0奎屯王新敞新疆证明：假设x、y、z均小于0，即：0122bax----①；0122cby----②；0122acz----③；①+②+③得0)1()1()1(222cbazyx，这与0)1()1()1(222cba矛盾，则假设不成立，∴x、y、z中至少有一个不小于0奎屯王新敞新疆[例8]已知命题p:方程x2＋mx＋1=0有两个不等的负根；命题q:方程4x2＋4(m－2)x＋1＝0无实根．若“p或q”为真，“p且q”为假，求m的取值范围．分析：“p或q”为真，则命题p、q至少有一个为真，“p且q”为假，则命题p、q至少有一为假，因此，两命题p、q应一真一假，即命题p为真，命题q为假或命题p为假，命题q为真.解：若方程x2＋mx＋1=0有两不等的负根，则0042mm解得m＞2，即命题p：m＞2若方程4x2＋4(m－2)x＋1＝0无实根，则Δ＝16(m－2)2－16＝16(m2－4m＋3)＜0解得：1＜m＜3.即q：1＜m＜3.因“p或q”为真，所以p、q至少有一为真，又“p且q”为假，所以命题p、q至少有一为假，因此，命题p、q应一真一假，即命题p为真，命题q为假或命题p为假，命题q为真.∴312312mmmmm或或解得：m≥3或1＜m≤2.四、典型习题导练1．方程0122xmx至少有一个负根，则（）A.10m或0mB.10mC.1mD.1m2．“0232xx”是“1x或4x”的（）A.充分不必要条件B.必要不充分条件C.充要条件D.既不充分也不必要条件3．三个数,,abc不全为0的充要条件是（）A.,,abc都不是0.B.,,abc中至多一个是0.C.,,abc中只有一个是0.D.,,abc中至少一个不是0.4．由命题p:6是12的约数，q:6是24的约数，构成的“p或q”形式的命题是：____，“p且q”形式的命题是___，“非p”形式的命题是___.5．若,abR，试从A.0abB.0abC.220abD.0abE.0abF.220ab中，选出适合下列条件者，用代号填空：（1）使,ab都为0的充分条件是；（2）使,ab都不为0的充分条件是；（3）使,ab中至少有一个为0的充要条件是；（4）使,ab中至少有一个不为0的充要条件是．6．分别指出由下列各组命题构成的逻辑关联词“或”、“且”、“非”的真假．（1）p:梯形有一组对边平行；q：梯形有一组对边相等．（2）p:1是方程0342xx的解；q：3是方程0342xx的解．（3）p:不等式0122xx解集为R；q:不等式1