高中数学选修2-1常用逻辑用语小结典型例题

逻辑是数学的基石，也是我们认识世界、进行理性思考的工具。在高中数学选修2-1的开篇，我们学习了常用逻辑用语，这部分内容不仅是后续学习数学推理的基础，也在培养我们的逻辑思维能力方面扮演着重要角色。本文旨在对这部分知识进行梳理与小结，并通过典型例题的分析，帮助同学们深化理解，提升应用能力。一、命题及其关系1.1命题的概念与结构命题：能够判断真假的陈述句叫做命题。一个命题要么为真，要么为假，二者必居其一。例如，“若两个三角形全等，则它们的面积相等”是真命题；“所有的质数都是奇数”是假命题（因为2是质数但不是奇数）。数学中的定义、公理、定理等都是真命题。命题的结构：在数学中，许多命题可以写成“若p，则q”的形式，其中p叫做命题的条件（或题设），q叫做命题的结论。我们将这种形式的命题表示为“p⇒q”。并非所有命题都能直接写成“若p，则q”的形式，但通常可以通过改写使其符合这一结构，以便于分析其逻辑关系。1.2四种命题的相互关系对于一个给定的“若p，则q”形式的命题，我们可以构造出另外三种命题：*原命题：若p，则q(p⇒q)*逆命题：若q，则p(q⇒p)（交换原命题的条件和结论）*否命题：若¬p，则¬q(¬p⇒¬q)（同时否定原命题的条件和结论）*逆否命题：若¬q，则¬p(¬q⇒¬p)（交换原命题的条件和结论，并同时否定）四种命题间的真假关系：(1)原命题与逆否命题同真同假；(2)逆命题与否命题同真同假。即互为逆否的两个命题是等价命题。关键点：原命题和逆否命题的等价性是非常重要的逻辑依据，在证明某些命题时，若直接证明原命题困难，可考虑证明其逆否命题，从而间接证明原命题的真假。1.3典型例题分析例1：写出命题“若a>b，则ac²>bc²”的逆命题、否命题、逆否命题，并判断它们的真假。分析：首先明确原命题的条件p：a>b，结论q：ac²>bc²。原命题的真假：当c=0时，ac²=bc²=0，故原命题为假命题。*逆命题：若ac²>bc²，则a>b。分析：ac²>bc²隐含了c²>0（即c≠0），不等式两边同除以正数c²，可得a>b。故逆命题为真命题。*否命题：若a≤b，则ac²≤bc²。分析：当c=0时，ac²=bc²=0；当c≠0时，c²>0，由a≤b可得ac²≤bc²。故否命题为真命题。（否命题与逆命题同真同假）*逆否命题：若ac²≤bc²，则a≤b。分析：当c=0时，ac²=bc²，但a与b的大小关系不确定，可能a>b。例如，a=3，b=2，c=0时，ac²=bc²=0，但a>b。故逆否命题为假命题。（与原命题同真同假）点评：判断一个命题的真假，需要严格依据定义和相关知识进行推理。特别注意，当命题中含有字母参数时，要考虑参数的不同取值情况对命题真假的影响。二、充分条件与必要条件2.1基本概念*充分条件：如果p⇒q，那么我们说p是q的充分条件。这意味着，只要p成立，就一定能保证q成立。*必要条件：如果q⇒p（即原命题的逆命题成立），那么我们说p是q的必要条件。这意味着，若q成立，则p必须成立；换句话说，p不成立，则q一定不成立（¬p⇒¬q，即原命题的否命题）。*充要条件：如果既有p⇒q，又有q⇒p（即p⇔q），那么我们说p是q的充分必要条件，简称充要条件。此时，p和q互为充要条件。通俗地讲，“充分”意味着“有它就行”，“必要”意味着“没它不行”。2.2充分条件、必要条件的判断方法1.定义法：直接利用充分条件、必要条件、充要条件的定义进行判断。2.等价法：利用原命题与其逆否命题的等价性，将判断“p是q的什么条件”转化为判断“¬q是¬p的什么条件”。3.集合法：设集合A={x|p(x)成立}，集合B={x|q(x)成立}。*若A⊆B，则p是q的充分条件；*若A⊇B，则p是q的必要条件；*若A=B，则p是q的充要条件。2.3典型例题分析例2：在下列各题中，判断p是q的什么条件（充分不必要条件、必要不充分条件、充要条件、既不充分也不必要条件）。(1)p：x>3，q：x>5；(2)p：两个三角形全等，q：两个三角形面积相等；(3)p：a+b=0，q：a²=b²；(4)p：关于x的方程ax+b=0（a,b∈R）有唯一解，q：a≠0。分析：(1)若x>3，不一定有x>5（例如x=4），所以p⇏q。若x>5，则一定有x>3，所以q⇒p。故p是q的必要不充分条件。（集合法：A=(3,+∞)，B=(5,+∞)，B⊆A，故p是q的必要不充分条件。）(2)两个三角形全等，则它们的面积一定相等，所以p⇒q。两个三角形面积相等，它们不一定全等（例如同底等高的两个三角形），所以q⇏p。故p是q的充分不必要条件。(3)若a+b=0，则a=-b，从而a²=b²，所以p⇒q。若a²=b²，则a=b或a=-b，即a+b=0或a-b=0，所以q⇏p。故p是q的充分不必要条件。(4)若关于x的方程ax+b=0（a,b∈R）有唯一解。当a=0时，若b=0，则方程有无数解；若b≠0，则方程无解。所以要使方程有唯一解，必须a≠0，且解为x=-b/a。故p⇒q。若a≠0，则方程ax+b=0可化为x=-b/a，有唯一解。故q⇒p。因此，p⇔q，故p是q的充要条件。点评：判断充分必要条件，关键在于准确理解“⇒”的方向。“小范围能推出大范围，大范围推不出小范围”是集合法判断的一个常用口诀。对于方程解的问题，要注意系数是否为零的讨论。三、简单的逻辑联结词3.1“且”、“或”、“非”逻辑联结词是用来联结简单命题以构成复合命题的词语。我们主要学习了“且”、“或”、“非”。*“且”（∧）：一般地，用联结词“且”把命题p和命题q联结起来，得到一个新命题，记作p∧q，读作“p且q”。p∧q为真命题，当且仅当p和q都为真命题时。*“或”（∨）：一般地，用联结词“或”把命题p和命题q联结起来，得到一个新命题，记作p∨q，读作“p或q”。p∨q为真命题，当且仅当p和q至少有一个为真命题时（即p真q真、p真q假、p假q真）。*“非”（¬）：一般地，对一个命题p全盘否定，得到一个新命题，记作¬p，读作“非p”或“p的否定”。¬p的真假与p的真假相反。3.2典型例题分析例3：分别指出下列复合命题的形式及构成它的简单命题，并判断复合命题的真假。(1)36是6的倍数且是9的倍数；(2)方程x²-3x-4=0的判别式大于或等于0；(3)并非所有的平行四边形都是矩形。分析：(1)此命题为“p且q”形式，其中p：36是6的倍数，q：36是9的倍数。p为真命题，q为真命题，所以“p且q”为真命题。(2)此命题为“p或q”形式，其中p：方程x²-3x-4=0的判别式大于0，q：方程x²-3x-4=0的判别式等于0。先计算判别式Δ=(-3)²-4×1×(-4)=9+16=25>0。所以p为真命题，q为假命题。因为“p或q”中只要有一个为真，则整个复合命题为真，所以“p或q”为真命题。（也可直接理解为“大于或等于0”是一个整体判断，Δ=25>0满足“大于或等于0”，故为真。）(3)此命题为“非p”形式，其中p：所有的平行四边形都是矩形。p为假命题（例如菱形是平行四边形，但不是矩形），所以“非p”为真命题。例4：已知命题p：方程x²+mx+1=0有两个不相等的负实根；命题q：方程4x²+4(m-2)x+1=0无实根。若p或q为真，p且q为假，求实数m的取值范围。分析：本题综合了二次方程根的分布、复合命题的真假判断以及参数取值范围的求解。首先，分别求出命题p和命题q为真时m的取值范围。命题p为真：方程x²+mx+1=0有两个不相等的负实根。则需满足：1.判别式Δ₁=m²-4>0⇒m>2或m<-2；2.两根之和-m<0⇒m>0；3.两根之积1>0（恒成立）。综合得，p为真时，m>2。命题q为真：方程4x²+4(m-2)x+1=0无实根。则判别式Δ₂=[4(m-2)]²-4×4×1<0⇒16(m-2)²-16<0⇒(m-2)²-1<0⇒(m-2-1)(m-2+1)<0⇒(m-3)(m-1)<0⇒1<m<3。所以，q为真时，1<m<3。根据条件“p或q为真，p且q为假”可知，p和q一真一假。情况一：p真q假。p真：m>2；q假：m≤1或m≥3。综合得：m≥3。情况二：p假q真。p假：m≤2；q真：1<m<3。综合得：1<m≤2。综上所述，实数m的取值范围是(1,2]∪[3,+∞)。点评：解决此类问题的步骤通常是：(1)求出每个简单命题为真时参数的取值范围；(2)根据复合命题的真假情况，列出关于参数的不等式组；(3)解不等式组，得到参数的取值范围。注意“且”、“或”、“非”在求交集、并集、补集时的对应关系。四、全称量词与存在量词4.1基本概念*全称量词：短语“所有的”、“任意一个”、“每一个”等在逻辑中通常叫做全称量词，并用符号“∀”表示。含有全称量词的命题，叫做全称命题。全称命题的形式：“对M中任意一个x，有p(x)成立”，可简记为“∀x∈M，p(x)”。*存在量词：短语“存在一个”、“至少有一个”、“有些”等在逻辑中通常叫做存在量词，并用符号“∃”表示。含有存在量词的命题，叫做特称命题（或存在性命题）。特称命题的形式：“存在M中的元素x₀，使p(x₀)成立”，可简记为“∃x₀∈M，p(x₀)”。4.2含有一个量词的命题的否定*全称命题的否定是特称命题：全称命题p：∀x∈M，p(x)，它的否定¬p：∃x₀∈M，¬p(x₀)。*特称命题的否定是全称命题：特称命题p：∃x₀∈M，p(x₀)，它的否定¬p：∀x∈M，¬p(x)。否定一个命题时，既要否定量词，也要否定结论。4.3典型例题分析例5：写出下列命题的否定，并判断其真假。(1)p：∀x∈R，x²+x+1>0；(2)q：所有的正方形都是矩形；(3)r：∃x₀∈R，x₀²-2x₀+1≤0；(4)s：至少有一个实数x₀，使x₀³+1=0。分析：(1)¬p：∃x₀∈R，x₀²+x₀+1≤0。判断¬p的真假：对于x²+x+1，其判别式Δ=1-4=-3<0，且二次项系数为正，所以x²+x+1>0对∀x∈R恒成立。因此，不存在x₀使得x₀²+x₀+1≤0，故¬p为假命题。原命题p为真命题。(2)¬q：存在一个正方形不是矩形。因为所有正方形都是特殊的矩形，所以¬q为假命题。原命题q为真命题