高中数学常用逻辑用语知识点1

高中数学常用逻辑用语

目标认知考试大纲要求：

L理解命题的概念；了解逻辑联结词“或”、“且“、“非”的含义.

2.了解命题“若p,则q”的形式及其逆命题、否命题与逆否命题，分析四种命题相互关系.

3.理解必要条件、充分条件与充要条件的意义.

4.理解全称量词与存在量词的意义；能正确地对含有一个量词的命题进行否定.

重点：充分条件与必要条件的判定

难点：根据命题关系或充分（或必要）条件进行逻辑推理。

知识要点梳理知识点一：命题L定义：

一般地，我们把用语言、符号或式子表达的，可以判断真假的语句叫做命题.

（1）命题由题设和结论两部分构成.命题通常用小写英文字母表示，如p,q,r,m,n等.

（2）命题有真假之分，正确的命题叫做真命题，错误的命题叫做假命题.数学中的定义、公理、定理等都是真

命题

（3）命题""的真假判定方式：

.若要判断命题""是一个真命题，需要严格的逻辑推理；有时在推导时加上语气词“一定”能帮助判断。如:

一定推出.

.若要判断命题"”是一个假命题，只需要找到一个反例即可.

注意：“不一定等于3"不能判定真假，它不是命题.

2.逻辑联结词：“或”、“且”、“非”这些词叫做逻辑联结词.

（1）不含逻辑联结词的命题叫简单命题，由简单命题与逻辑联结词构成的命题叫复合命题.

（2）复合命题的构成形式：

①P或q；②P且q；③非P（即命题P的否定）.

（3）复合命

题的真假判

断（利用真q非P「且q

值表）：

P

真真假真真

真假假真假

假真真真假

假伐真假假

①当p、q同时为假时，“p或q”为假，其它情况时为真，可简称为“一真必真”；

②当p、q同时为真时，“p且q”为真，其它情况时为假，可简称为“一假必假”。

③“非p”与p的真假相反.

注意：

（1）逻辑连结词“或”的理解是难点，“或”有三层含义，以“。或q”为例：一是P成立

且q不成立，二是p不成立但q成立，三是P成立且q也成立。可以类比于集合中“或

（2）“或”、“且”联结的命题的否定形式：

“P或q”的否定是“rp且rq”；“P且q”的否定是“rp或^q”.

（3）对命题的否定只是否定命题的结论；否命题，既否定题设，又否定结论。

知识点二：四种命题1.四种命题的形式：

用P和q分别表示原命题的条件和结论，用P和q分别表示P和q的否定，则四种命题的形式为：

原命题：若P则q.逆命题：若q则P；

否命题：若P则q.逆否命题：若q则P.

2.四种命题的关系①原命题逆否命题.它们具有相同的真假性，是命题转化的依据和途径之一.

②逆命题否命题，它们之间互为逆否关系，具有相同的真假性，是命题转化的另•依据和途径.

除①、②之外，四种命题中其它两个命题的真伪无必然联系.

命题与集合之间可以建立对应关系，在这样的对应下，逻辑联结词和集合的运算具有一致性，命

题的“且”、”或工“非”恰好分别对应集合的“交，”并，“补”，因此，我们就可以从集合的

角度进一步认识有关这些逻辑联结词的规定。

知识点三：充分条件与必要条件口＜!.定义：口

对于“若P则q”形式的命题：

从逻辑观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件

的判定在于区分命题的条件口与结论□之间的关系.

①若pq,则p是q的充分条件，q是p的必要条件：

②若pq,但qp,则P是q的充分不必要条件，q是p的必要不充分条件；

③若且，则是成立的必要不充分条件；④若既有Pq,又有qP,记作Pq,则P是q

的充分必要条件（充要条件）.

⑤若且，则是成立的既不充分也不必要条件.

从集合的观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定

在于判断、相应的集合关系.

建立与、相应的集合，即成立成立.

若，则是的充分条件，若则是成立的充分不必要条件;

若，则是的必要条件，若则是成立的必要不充分条件;

若，则是成立的充要条件；

若AB且BA,则是成立的既不充分也不必要条件.

2.理解认知：

（1）在判断充分条件与必要条件时，首先要分清哪是条件，那是结论；然后用条件推结论,

再用结论推条件，最后进行判断.

（2）充要条件即等价条件，也是完成命题转化的理论依据.“当且仅当”.“有且仅有”.

“必须且只须”.“等价于”“…反过来也成立”等均为充要条件的同义词语.

3.判断命题充要条件的三种方法

（1）定义法：

（2）等价法：由于原命题与它的逆否命题等价，否命题与逆命题等价，因此，如果原

命题与逆命题真假不好判断时，还可以转化为逆否命题与否命题来判断.即利用

与；与；与的等价关系，对于

条件或结论是不等关系（或否定式）的命题，一般运用等价法.

（3）利用集合间的包含关系判断，比如AB可判断为AB；A=B可判断为AB,且

BA,BPAB.

如图：

“”“，且”是的充分不必要条件.

“”"”是的充分必要条件.

知识点四：全称量词与存在量词1.全称量词与存在量词

全称量词及表示：表示全体的量词称为全称量词。表示形式为“所有”、“任意”、“每一个”等，通常用

符号””表示，读作“对任意”。含有全称量词的命题，叫做全称命题。全称命题“对U中任意一个x,有

p（x）成立”可表示为“”，其中M为给定的集合，p（x）是关于的命题.

（II）存在量词及表示：表示部分的量称为存在量词。表示形式为“有一个”，“存在一个”，

“至少有一个，，，“有点”，“有些”等，通常用符号"”表示，读作“存在”。含有

存在量词的命题，叫做特称命题特称命题“存在M中的一个x,使p（x）成立”可表示

为“”，其中M为给定的集合，p（x）是关于x的命题.

2.对含有一个量词的命题进行否定

（I）对含有一个量词的全称命题的否定

全称命题P：，他的否定：全称命题的否定是特称命题。

（II）对含有一个量词的特称命题的否定

特称命题P：，他的否定：特称命题的否定是全称命题。

注意：

（1）命题的否定与命题的否命题是不同的.命题的否定只对命题的结论进行否定（否定一

次），而命题的否命题则需要对命题的条件和结论同时进行否定（否定二次）。

（2）一些等于大于小于是都是-一定是至少一个至多一个

常见的词

的否定：

正面词

否定词不等于不大于不小于不是不都是一定不是一个也没有至少两个

规律方法指导

1.解答命题及其真假判断问题时，首先要理解命题及相关概念，特别是互为逆否命题的.

假性一致.

2.要注意区分命题的否定与否命题.

3.要注意逻辑联结词“或”“且”“非”与集合中的“井”“交”“补”是相关的，将二

者相互对照可加深认识和理解.

4.处理充要条件问题时、首先必须分清条件和结论。对于充要条件的证明，必须证明充分

性，又要证明必要性；判断充要条件一般有三种方法：用集合的观点、用定义和利用命

题的等价性；求充要条件的思路是：先求必要条件，再证明这个必要条件是充分条件.

5.特别重视数形结合思想与分类讨论思想的运用。

总结升华：

1,判断复合命题的真假的步骤：

.①确定复合命题的构成形式；

•②判断其中简单命题p和q的真假；

.③根据规定（或真假表）判断复合命题的真假.

2.条件“或”是“或”的关系，否定时要注意.

类型二：四种命题及其关系2.写出命题“己知是实数，若ab=O,则a=0或b=0”的逆命题，否命题，逆否

命题，并判断其真假。解析：逆命题：已知是实数，若a=0或b=0.则ab=O,真命题；

・否命题：已知是实数，若abX（）,贝iJaKO且b#0,真命题；

.逆否命题：已知是实数，若aWO且b¥0,则abWO,真命题。

总结升华：

1.“已知是实数”为命题的大前提，写命题时不应该忽略；

2.互为逆否命题的两个命题同真假；

3.注意区分命题的否定和否命题.

类型三：全称命题与特称命题真假的判断口

总结升华：

1.要判断一个全称命题是真命题，必须对限定的集合M中每一个元素，验证成立；

要判断全称命题是假命题，只要能举出集合M中的一个，使不成立可：

2.要判断一个特称命题的真假，依据：只要在限定集合M中，至少能找到一个，使

成立，则这个特称命题就是真命题，否则就是假命题.

类型四：充要条件的判断口

总结升华：

1.处理充分、必要条件问题时，首先要分清条件与结论；

2.正确使用判定充要条件的三种方法，要重视等价关系转换，特别是与关系.

类型五：求参数的取值范围

总结升华：由p或q为真，知p、q必有其一为真，由p且q为假，知p、q必有一个为假，所以，“p假且q真”

或“P真且q假”.可先求出命题p及命题q为真的条件，再分类讨论.

总结升华：从认知已知条件切入，将四种命题或充要条件问题向集合问题转化，是解决这类问题的基本策略。

1.类型六：证明□总结升华：

利用反证法证明时，首先正确地作出反设（否定结论）.从这个假设出发，经过推理论证，

得出矛盾，从而假设不正确，原命题成立，反证法一般适宜结论本身以否定形式出现，

或以“至多…”、“至少…”形式出现，或关于唯一性、存在性问题，或者结论的反而是

比原命题更具体更容易研究的命题.

2.反证法时对结论进行的否定要正确，注意区别命题的否定与否命题.

总结升华；

1.对于充要条件的证明，既要证明充分性，又要证明必要性，所以必须分清条件是什

么，结论是什么。

2.充分性：由条件结论；必要性：由结论条件.

3.叙述方式的变化（比如「是勺的充分不必要条件”等价于“［的充分不必要要条件是「"）.

三、典型例题选讲

例1写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假.

（1）已知，，为实数，若，则有两个不相等的实数根；

（2）两条平行线不相交；

（3）若，则，全为零.

分析：写出一个命题的四种命题形式，关键是分清命题的条件与结论，把命题写成“如果…则…”的形式,

再根据四种命题的定义写出其他三种命题即可.

解：（1）原命题是真命题；

逆命题：若有两个不相等的实数根，则，（假）；

否命题：若，则没有两个不相等的实数根，（假）：

逆否命题：若没有两个不相等的实数根，则，（真）.

（2）原命题形式可写成：若两条直线平行，则它们不相交，（真）；

逆命题：若两条直线不相交，则它们平行，（假）：

否命题：若两条直线不平行，则它们相交，（假）；

逆否命题：若两条直线相交，则它们不平行，（真）.

（3）原命题是真命题；

逆命题：若，全为零，则，（真）；

否命题：若，则，不全为零，（真）；

逆否命题：若，不全为零，则，（真）.

归纳小等于大于小于是都是至多有一个

结：⑴

本题考查

了命题的

四种形

式，并能

进行真假

判断，强

化对知识

运用的灵

活性.

（2）要注

意四种命

题之间的

等价关

系，即原

命题与逆

否命题等

价，否命

题与逆命

题等价.

在判断一

个命题是

真命题

时，要严

格按照数

学逻辑进

行推理证

明，而要

说明它是

假命题

时，只需

要举出一

个反例即

可.

(3)在否

定条件或

结论时，

要注意否

定词语的

使用.常

见否定词

语有：

正面词语

否定词语不等于不大于不小于不是不都是至少有两个

正面词语至少有一个任意的所有的一定

否定词语一个也没有某个某些一定不

例2说明下列命题形式，指出构成它们的简单命题:

⑴矩形的对角线垂直平分；

⑵不等式％2一%一2>o的解集是｛H3>2或工<—1｝；

(3)4>3；

⑷方程没有实数根.

分析：根据命题中出现的逻辑联结词或隐含的逻辑联结词，进行命题结构的判断，其中解题的关键是正

确理解逻辑联结词“且”、“或”、“非”的含义.

解：⑴这个命题是“"的形式，其中：矩形的对角线互相垂直，：矩形的对角线互相平分.

⑵这个命题是“"的形式，其中：不等式的解集是，：不等式的解集是或•

⑶这个命题是“"的形式，其中：，：.

⑷这个命题是”的形式，其中：方程有实数根.

归纳小结：⑴本题考查了含有逻辑联结词的命题结构，要求能正确理解逻辑联结词，并找出隐含的逻辑

联结词，能根据命题形式分析问题、解决问题.

⑵把简单命题合成为复合命题或把复合命题分解为两个简单命题并判断其真假是本节的重点之一，关键在

于理解逻辑联结词的含义.熟悉真值表可以加快对含有逻辑联结词的命题的真假判断.

⑶逻辑联结词中的“或”、“且”、“非”与日常用语中的“或”、“且”、“非”的意义是不完全相同的.如逻

辑词中的“或”含有可以兼有之意，而生活中的“或”一般不可兼有的意思.

例3(2008广东)己知命题：所有有理数都是实数，命题：正数的对数都是负数，则下列命题中为真

命题的是()

A.B.C.D.

分析：本题只需要判断出命题和命题的真假，根据真值表进行判断即可.

解：由题意可以判断命题是真命题，命题是假命题，所以命题是假命题，命题是真命题.只有

是真命题，故选D.

归纳小结：（1）本题考查了命题的真假判断和真值表的使用，考查了逻辑判断的思辩能力和推理能力；

（2）命题的真假判断是“一真就真，全假为假”；命题的真假判断是“一假就假，全真为真”；命题

与的真假相反.

例4（2009年北京）“。=2+2左〃伏$Z）”是“cos2a=—"的（）

62

A.充分不必要条件B.必要不充分条件

C.充要条件0.既不充分也不必要条件

分析：简易逻辑中充要条件的判断前提是先明确条件与结论，即弄清楚哪个是条件，哪个是结论，再根

据条件分析出推式的关系，从而利用定义和推式得到结论.

解：当时，，即.反之，当时，有，

或，即

综上所述，“"是“”的充分不必要条件，故选A.

例5（2008福建）设集合Ah$吟■<（）},B={x|Ovx<3},则“相eA”是的（）

A.充分不必要条件B.必要不充分条件

C.充要条件D.既不充分也不必要条件

分析：本题条件与结论的形式都是集合形式，只要理清集合之间的关系，按照充要条件与集合的对应关

系即可作出判断.

解：丁,

：・

改选A.

归纳小结：（1）本题考查了充要条件的定义，这是高考试题题型的常见形式之一，可与其他考查内容综

合.同时还考查了数学转化思想、合情推理能力.

（2）充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件反映了条件和结论之

间的因果关系，在结合具体问题进行判断时，要注意以下几点：。确定问题的条件和结论；②尝试从条件推结

论，结论推条件；③确定条件是结论的什么条件.也可以从命题体现的集合运算关系，判断出命题间的条件.

在从条件推结论，结论推条件时，可以利用学过的定理、定义和公式直接做逻辑判断，或利用数轴或Venn

图分析两个集合的关系判断出“”和“”的真假.

例6（2007湖北）已知是的充分条件而不是必要条件，是的充分条件，是的必要条件，是

的必要条件.现有下列命题：①是的充要条件；②是的充分条件而不是必要条件；③是的必要

条件而不是充分条件；④的必要条件而不是充分条件；⑤是的充分条件而不是必要条件，则正确命题序

号是（）

A.①④⑤B.①②④C.②®⑤D.②®®

分析：本题命题及其关系较多，如果直接解决则比较麻烦，可以用符号“”、“”等符号表示，简化题

意，解决方便.

解：由题意可知：，且，.

所以，①正确；，且，②正确：，③不正确；

,且，④正确；，⑤不正确.

改选B.

归纳小结：（1）本题考查了充分条件、必要条件、充要条件的概念及命题之间关系的转化，逆否命题的

等价性，考查了逻辑思辩能力和转化思想.

（2）在命题之间的充分条件•、必要条件、充要条件的推导过程中，使用符号语言可以简化过程，降低思维

量.

例7已知命题：，命题：，若"1是的充分不必要条件，求实数的取值范围.

分析：『是『的充分不必要条件转化为等价命题形式：是的充分不必要条件，利用等价命题先进

行命题的等价转化，搞清晰命题中条件与结论的关系，再去解不等式，找解集间的包含关系，从而求出的

取值范围.

解：记，

B=x2-2x+\-m2<0(/?i>0)|=1x|I-/??<x<l+/w(/??>0)}

是「的充分不必要条件,

・•・是的充分不必要条件，即

・•・，解得.

所以实数的取值范围是

归纳小结：（1）本题以含绝对值的不等式及一元二次不等式的解法为考查对象，同时考查了充分必要条件

及四种命题中等价命题的应用，考查了转化思想的运用，强调了知识点运用的灵活性.

12）对四种命题以及充要条件的定义实质理解不清晰是解此题的难点，在判断或利用两个命题的充要条件

时，可以利用它们的等价式，即将命题转化为另一个等价形式的命题，一般可以利用逆否命题的等价形式:

①若一1-,即，则是的必要条件，是的充分条件：

②若「一，且「「，即，且,则是的必要不充分条件；

③若「「，且」f,即，且,则是的充分不必要条件;

④若「「，则，即、互为充要条件；

⑤若「「，且「「，即，且，则是的既不充分也不必要条件.

例8（年海南、宁夏）有四个关于三角函数的命题:

其中是假命题的有（）

A.,B.,C.,D.,

分析：若全称命题为真命题，必须对限定范围内的元素中的全体都成立；若特称命题是真命题，只需在限

定范围中有一个元素满足条件即可.

解：是假命题，因为，；

是真命题，如时成立；

是真命题，，.；・；

是假命题，如，时，，但.

改选A.

归纳小结：（1）本题考查了全称命题与特称命题的真假判断，同时也考查了对概念的转化能力和推理能

力.

（2）一般地说，全称命题与特称命题的真假判断方法是：

①判定一个全称命题是真命题时，必须对限定的集合中的每一个元素，验证成立即匕；

②判定一个全称命题是假命题时，只要能列举出集合中的一个元素，使不成立即可；

③判定一个特称命题是真命题时，只要在限定的集合中，至少能找到一个元素，使