高中数学常用逻辑用语
目标认知
考试大纲要求:
1. 理解命题的概念;了解逻辑联结词“或”、“且”、“非”的含义.
2. 了解命题“若p,则q”的形式及其逆命题、否命题与逆否命题,分析四种命题相互关系.
3. 理解必要条件、充分条件与充要条件的意义.
4. 理解全称量词与存在量词的意义;能正确地对含有一个量词的命题进行否定. 重点:充分条件与必要条件的判定
难点:根据命题关系或充分(或必要)条件进行逻辑推理。
知识要点梳理
知识点一:命题
1. 定义:
一般地,我们把用语言、符号或式子表达的,可以判断真假的语句叫做命题.(1)命题由题设和结论两部分构成. 命题通常用小写英文字母表示,如p,q,r,m,n 等.
(2)命题有真假之分,正确的命题叫做真命题,错误的命题叫做假命题. 数学中的定义、公理、定理等都是真命题
(3)命题“”的真假判定方式:
①若要判断命题“”是一个真命题,需要严格的逻辑推理;有时在推导时加上语气词“一定”能帮助判断。如:一定推出.
②若要判断命题“”是一个假命题,只需要找到一个反例即可.
注意:“不一定等于3”不能判定真假,它不是命题.
2. 逻辑联结词:
“或”、“且”、“非”这些词叫做逻辑联结词.
(1)不含逻辑联结词的命题叫简单命题,由简单命题与逻辑联结词构成的命题叫复合命题.
(2)复合命题的构成形式:
①p或q;②p且q;③非p(即命题p的否定).
(3)复合命题的真假判断(利用真值表):
非
真真假真真
真假假真假
假真真真假
假假真假假
①当p、q同时为假时,“p或q”为假,其它情况时为真,可简称为“一真必真”;
②当p、q同时为真时,“p且q”为真,其它情况时为假,可简称为“一假必假”。
③“非p”与p的真假相反.
注意:
(1)逻辑连结词“或”的理解是难点,“或”有三层含义,以“p或q”为例:一是p成立
且q不成立,二是p不成立但q成立,三是p成立且q也成立。可以类比于集合中“或”.
(2)“或”、“且”联结的命题的否定形式:
“p或q”的否定是“p且q”;“p且q”的否定是“p或q”.(3)对命题的否定只是否定命题的结论;否命题,既否定题设,又否定结论。
知识点二:四种命题
1. 四种命题的形式:
用p和q分别表示原命题的条件和结论,用p和q分别表示p和q的否定,则四种命题的形式为:
原命题:若p则q;逆命题:若q则p;
否命题:若p则q;逆否命题:若q则p.
2. 四种命题的关系
①原命题逆否命题.它们具有相同的真假性,是命题转化的依据和途径之一.
②逆命题否命题,它们之间互为逆否关系,具有相同的真假性,是命题转化的另一依据和途径.
除①、②之外,四种命题中其它两个命题的真伪无必然联系.
命题与集合之间可以建立对应关系,在这样的对应下,逻辑联结词和集合的运算具有一致性,命题的“且”、“或”、“非”恰好分别对应集合的“交”、“并”、“补”,因此,我们就可以从集合的角度进一步认识有关这些逻辑联结词的规定。
知识点三:充分条件与必要条件
1. 定义:
对于“若p 则q ”形式的命题:
从逻辑观点上,关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于区分命题的条件p 与结论q 之间的关系. ①若p
q ,则p 是q 的充分条件,q 是p 的必要条件; ②若p q ,但q p ,则p 是q 的充分不必要条件,q 是p 的必要不充分条件;
③若q p ?且p
q ,则p 是q 成立的必要不充分条件; ④若既有p
q ,又有q p ,记作p q ,则p 是q 的充分必要条件(充要条件).
⑤若p q 且q p ,则p 是q 成立的既不充分也不必要条件.
从集合的观点上,关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于判断p 、q 相应的集合关系.
建立与p 、q 相应的集合,即(){:p A x p x =成立},(){:q B x q x =成立}. 若A B ?,则p 是q 的充分条件,若A B ,则p 是q 成立的充分不必要条件; 若B A ?,则p 是q 的必要条件,若B
A ,则p 是q 成立的必要不充分条件;
若A B =,则p 是q 成立的充要条件;
若A ?/B 且B ?/A ,则p 是q 成立的既不充分也不必要条件.
2. 理解认知:
(1)在判断充分条件与必要条件时,首先要分清哪是条件,哪是结论;然后用条件推结论,
再用结论推条件,最后进行判断.
(2)充要条件即等价条件,也是完成命题转化的理论依据.“当且仅当”.“有且仅有”.
“必须且只须”.“等价于”“…反过来也成立”等均为充要条件的同义词语.
3. 判断命题充要条件的三种方法
(1)定义法:
(2)等价法:由于原命题与它的逆否命题等价,否命题与逆命题等价,因此,如果原
命题与逆命题真假不好判断时,还可以转化为逆否命题与否命题来判断.即利用
与;与;与的等价关系,对于条件或结论是不等关系(或否定式)的命题,一般运用等价法.
(3) 利用集合间的包含关系判断,比如A B可判断为A B;A=B可判断为
A B,且
B A,即A B.
如图:
“”“,且”是的充分不必要条件.
“”“”是的充分必要条件.
知识点四:全称量词与存在量词
1. 全称量词与存在量词
全称量词及表示:表示全体的量词称为全称量词。表示形式为“所有”、“任意”、“每一个”等,通常用符号“”表示,读作“对任意”。含有全称量词的命题,叫做全称命题。全称命题“对M中任意一个x,有p(x)成立”可表示为“”,其中M为给定的集合,p(x)是关于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=0,则a=0或b=0”的逆命题,否命题,逆否命题,并判断其真假。
解析:逆命题:已知是实数,若a=0或b=0, 则ab=0, 真命题;
否命题:已知是实数,若ab≠0,则a≠0且b≠0,真命题;
逆否命题:已知是实数,若a≠0且b≠0,则ab≠0,真命题。
总结升华:
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)已知a ,b ,c 为实数,若0ac <,则20ax bx c ++=有两个不相等的实数根;
(2)两条平行线不相交;
(3)若220x y +=,则x ,y 全为零.
分析:写出一个命题的四种命题形式,关键是分清命题的条件与结论,把命题写成“如果…那么…”的形式,再根据四种命题的定义写出其他三种命题即可.
解:(1)原命题是真命题;
逆命题:若20ax bx c ++=有两个不相等的实数根,则0ac <,(假);
否命题:若0ac ≥,则20ax bx c ++=没有两个不相等的实数根,(假);
逆否命题:若20ax bx c ++=没有两个不相等的实数根,则0ac ≥,(真).
(2)原命题形式可写成:若两条直线平行,则它们不相交,(真);
逆命题:若两条直线不相交,则它们平行,(假);
否命题:若两条直线不平行,则它们相交,(假);
逆否命题:若两条直线相交,则它们不平行,(真).
(3)原命题是真命题;
逆命题:若x ,y 全为零,则220x y +=,(真);
否命题:若220
+≠,则x,y不全为零,(真);
x y
逆否命题:若x,y不全为零,则220
+≠,(真).
x y
归纳小结:(1)本题考查了命题的四种形式,并能进行真假判断,强化对知识运用的灵活性.
(2)要注意四种命题之间的等价关系,即原命题与逆否命题等价,否命题与逆命题等价.在判断一个命题是真命题时,要严格按照数学逻辑进行推理证明,而要说明它是假命题时,只需要举出一个反例即可.
(3)在否定条件或结论时,要注意否定词语的使用.常见否定词语有:
例 2 说明下
列命题形式,指出
构成它们的简单命
题:
⑴矩形的对角线垂直平分;
⑵不等式220
x<-;
-->的解集是{2
x x
x x>或}1
⑶43≥; ⑷方程没有实数根.
分析:根据命题中出现的逻辑联结词或隐含的逻辑联结词,进行命题结构的判断,其中解题的关键是正确理解逻辑联结词“且”、“或”、“非”的含义.
解:⑴这个命题是“p q ∧”的形式,其中p :矩形的对角线互相垂直,q :矩形的对角线互相平分.
⑵这个命题是“p q ∨”的形式,其中p :不等式220x x -->的解集是{}2x x >,q :不等式220x x -->的解集是或{}1x x <-.
⑶这个命题是“p q ∨”的形式,其中p :43>,q :43=.
⑷这个命题是“¬p ”的形式,其中p :方程有实数根.
归纳小结:⑴本题考查了含有逻辑联结词的命题结构,要求能正确理解逻辑联结词,并找出隐含的逻辑联结词,能根据命题形式分析问题、解决问题.
⑵把简单命题合成为复合命题或把复合命题分解为两个简单命题并判断其真假是本节的重点之一,关键在于理解逻辑联结词的含义.熟悉真值表可以加快对含有逻辑联结词的命题的真假判断.
⑶逻辑联结词中的“或”、“且”、“非”与日常用语中的“或”、“且”、“非”的意义是不完全相同的.如逻辑词中的“或”含有可以兼有之意,而生活中的“或”一般不可兼有的意思.
例3(2008广东)已知命题p :所有有理数都是实数,命题q :正数的对数都是负数,则下列命题中为真命题的是( )
A .()p q ?∨
B .p q ∧
C .()()p q ?∧?
D .()()p q ?∨?
分析:本题只需要判断出命题p 和命题q 的真假,根据真值表进行判断即可. 解:由题意可以判断命题p 是真命题,命题q 是假命题,所以命题p ?是假命题,命题q ?是真命题.只有()()p q ?∨?是真命题,故选D .
归纳小结:(1)本题考查了命题的真假判断和真值表的使用,考查了逻辑判断的思辩能力和推理能力;
(2)命题p q ∨的真假判断是“一真就真,全假为假”;命题p q ∧的真假判断是“一假就假,全真为真”;命题p 与p ?的真假相反.
例4(2009年北京)“2()6k k Z παπ=+∈”是“1cos 22
α=”的( ) A .充分不必要条件 B .必要不充分条件
C .充要条件
D .既不充分也不必要条件
分析:简易逻辑中充要条件的判断前提是先明确条件与结论,即弄清楚哪个是条件,哪个是结论,再根据条件分析出推式的关系,从而利用定义和推式得到结论.
解:当2()6k k Z παπ=
+∈时,1cos 2cos 4cos 332k ππαπ??=+== ???,即p q ?.反之,当1cos 22α=时,有()2236
k k k Z ππαπαπ=+?=+∈, 或()2236k k k Z ππαπαπ=-?=-∈,即q p .
综上所述,“2()6k k Z π
απ=+∈”是“1cos 22α=
”的充分不必要条件,故选A . 例5(2008福建)设集合01x A x x ??=?-??
,{}03B x x =<<,那么“m A ∈”是“m B ∈”
的()
A.充分不必要条件B.必要不充分条件
C.充要条件D.既不充分也不必要条件
分析:本题条件与结论的形式都是集合形式,只要理清集合之间的关系,按照充要条件与集合的对应关系即可作出判断.
解:∵{}
=<<,
01
A x x
∴A B.
故选A.
归纳小结:(1)本题考查了充要条件的定义,这是高考试题题型的常见形式之一,可与其他考查内容综合.同时还考查了数学转化思想、合情推理能力.(2)充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件反映了条件p和结论q之间的因果关系,在结合具体问题进行判断时,要注意以下几点:①确定问题的条件和结论;②尝试从条件推结论,结论推条件;③确定条件是结论的什么条件.也可以从命题体现的集合运算关系,判断出命题间的条件.在从条件推结论,结论推条件时,可以利用学过的定理、定义和公式直接做逻辑判断,或利用数轴或Venn图分析两个集合的关系判断出“p q
?”的
?”和“q p
真假.
例6(2007湖北)已知p是r的充分条件而不是必要条件,q是r的充分条件,s 是r的必要条件,q是s的必要条件.现有下列命题:①s是q的充要条件;②p是q的充分条件而不是必要条件;③r是q的必要条件而不是充分条件;④s
?是的必要条
p?
件而不是充分条件;⑤r 是s 的充分条件而不是必要条件,则正确命题序号是( )
A.①④⑤
B.①②④
C.②③⑤
D.②④⑤
分析:本题命题及其关系较多,如果直接解决则比较麻烦,可以用符号“?”、“?”等符号表示,简化题意,解决方便.
解:由题意可知:p r ?,且r p ,q r s q ???.
所以s q ?,①正确;p r q ??,且q
p ,②正确;r q ?,③不正确; p r s ??,且s p ,④正确;r s ?,⑤不正确.
故选B .
归纳小结:(1)本题考查了充分条件、必要条件、充要条件的概念及命题之间关系的转化,逆否命题的等价性,考查了逻辑思辩能力和转化思想.
(2)在命题之间的充分条件、必要条件、充要条件的推导过程中,使用符号语言可以简化过程,降低思维量.
例7 已知命题p :1123x --
≤,命题q :()222100x x m m -+-≤>,若¬p 是¬q 的充分不必要条件,求实数m 的取值范围.
分析:¬p 是¬q 的充分不必要条件转化为等价命题形式:q 是p 的充分不必要条件,利用等价命题先进行命题的等价转化,搞清晰命题中条件与结论的关系,再去解不等式,找解集间的包含关系,从而求出m 的取值范围.
解:记{}1122103x A x x x ?
-?=-
≤=-≤≤????,
(){}(){}222100110B x x x m m x m x m m =-+-≤>=-≤≤+>
∵¬p 是¬q 的充分不必要条件,
∴q 是p 的充分不必要条件,即B
A .
∴012110m m m >??->-??+,解得03m <<.
所以实数m 的取值范围是03m <<.
归纳小结:(1)本题以含绝对值的不等式及一元二次不等式的解法为考查对象,同时考查了充分必要条件及四种命题中等价命题的应用,考查了转化思想的运用,强调了知识点运用的灵活性.
(2)对四种命题以及充要条件的定义实质理解不清晰是解此题的难点,在判断或利用两个命题的充要条件时,可以利用它们的等价式,即将命题转化为另一个等价形式的命题,一般可以利用逆否命题的等价形式:
①若¬p ?¬q ,即q p ?,则p 是q 的必要条件,q 是p 的充分条件;
②若¬p ?¬q ,且¬q
¬p ,即q p ?,且p q ,则p 是q 的必要不充分条件;
③若¬q ?¬p ,且¬p
¬q ,即p q ?,且q p ,则p 是q 的充分不必要条件;
④若¬p ?¬q ,则p q ?,即p 、q 互为充要条件;
⑤若¬p ¬q ,且¬q ¬p ,即q p ,且p q ,则p 是q 的既不充分也不必要条件.
例8(2009年海南、宁夏)有四个关于三角函数的命题:
1p :x R ?∈,221sin cos 222
x x += 2p :x ?、y R ∈,()sin sin sin x y x y -=-
3p :[]0,x π?∈sin x = 4p :sin cos 2x y x y π=?+= 其中是假命题的有( )
A .1p ,4p
B .2p ,4p
C .1p ,3p
D .2p ,4p
分析:若全称命题为真命题,必须对限定范围内的元素中的全体都成立;若特称命题是真命题,只需在限定范围中有一个元素满足条件即可.
解:1p 是假命题,因为x R ?∈,22sin cos 122
x x +=;
2p 是真命题,如0x y ==时成立;
3p 是真命题,[]0,x π?∈,sin 0x ≥.sin sin x x ===; 4p 是假命题,如2x π
=,2y π=时,sin cos x y =,但2x y π
+≠.
故选A .
归纳小结:(1)本题考查了全称命题与特称命题的真假判断,同时也考查了对概念的转化能力和推理能力.
(2)一般地说,全称命题与特称命题的真假判断方法是:
①判定一个全称命题是真命题时,必须对限定的集合M 中的每一个元素x ,验证()p x 成立即可;