1.2 常用逻辑用语


[【高分突破系列】高一数学上学期同步知识点剖析精品讲义与分层练习]
(https://www.zxxk.com/docpack/2783085.html)
soeasy

必修第一册同步拔高,难度 2 颗星!

模块导图

知识剖析

充分条件与必要条件

1 概念
一般地,” 若 p,则 q” 为真命题,是指由 p 通过推理可以得出 q.
这时,我们就说,由 p 可以推出 q,记作 pq,并且说,p q 的充分条件,q p 的必要条件.
如果” 若 p,则 q” 和它的逆命题” 若 q,则 p” 均是真命题,
即既有 pq,又有 qp,就记作 pq
此时 p 即是 q 的充分条件也是必要条件,我们说 p q 的充要条件.
 

2 p q_ 条件 (填写是否充分、必要)
完成此题型,可思考
从左到右,若 pq 则充分,若 pq 则不充分;
从右到左,若 qp 则必要,若 qp 则不必要.
Eg:帅哥是男人的 _ 条件.
从左到右,显然若 A 是个帅哥,那他肯定是男人,即充分;
从右到左,若 B 是男人,他不一定是帅哥了,即不必要;故答案是充分不必要.
 

3 从集合的角度理解
(1) 小范围推得出大范围
命题 pq 对应集合 AB
AB,则 pq,即 p q 的充分条件;
AB,则 pq,即 p 不是 q 的充分条件.
备注 若 AB,则称 A 为小范围,B 为大范围.
Eg1:帅哥是男人的 _ 条件.
设集合 A={帅哥},集合 B={男人},显然 AB,{帅哥} 是小范围,推得出 {男人} 这个大范围,即充分条件;故答案是充分不必要条件.
Eg2x>1 x>2 的不充分必要条件,因为 {xx>2}{xx>1}.
(2) 结论
① 若 p q 的充分不必要条件,则 AB
② 若 p q 的必要不充分条件,则 BA
③ 若 p q 的充分条件,则 AB
④ 若 p q 的必要条件,则 BA
⑤ 若 p q 的充要条件,则 A=B.
 

全称量词与存在量词

1 全称量词
(1) 短语 “对所有的”、“对任意一个” 在逻辑中通常称为全称量词,用 “” 表示.
(2) 含有全称量词的命题称为全称命题.
全称命题 “对 M 中任意一个 x,有 p(x) 成立”,记作 xM,p(x)
Eg:对所有末位数是 0 的数能被 5 整除,x>0,x+1x2.
 
2 存在量词
(1) 短语 “存在一个”、“至少有一个” 在逻辑中通常称为存在量词,用 “” 表示.
(2) 含有存在量词的命题称为特称命题.
特称命题 “存在 M 中的一个 x,使 p(x) 成立”,记作 xM,p(x).
Eg:至少有一个质数是偶数,x>0,x22x+3<0.
 

3 否定
全称命题的否定是特称命题,特称命题的否定是全称命题,它们的真假性是相反的.
Egx>1,x2>1 的否定是 x>1,x21.
x>1,x2>1 是真命题,x>1,x21 是假命题.

 

经典例题

【题型一】 充分条件与必要条件

【典题 1】 a>0,b>0,则 a+b2 a2+b22" 的 (  )
A.充分不必要条件
B.必要不充分条件
C.充分必要条件
D.既不充分也不必要条件
【解析】a+b2 可知 (a+b)222
a2+b2(a+b)22a2+b22
反之不成立,例如 a=3b0,满足 a2+b22,但 a+b2 不成立.
a+b2 a2+b22" 的 充分不必要条件.故选:A
 

【点拨】
① 以 a+b2 为已知,可以推出 "a2+b22" 这个结论,所以 a+b2 a2+b22" 的充分条件;若要判断某个命题是对的,只能去证明它;
② 证明 a2+b22" 推不出 a+b2,即判断某个命题是错的,举一个反例就行,这点做非解答题时多多注意,可称之为 "取特殊值否定法";
③ 思考:本题可从集合的角度去判断么?
 

【典题 2】 a,b 是正整数,则 a+b>ab 充要条件是 (  )
A.a=b=1
B.a,b 有一个为 1
C.a=b=2
D.a>1 b>1
【解析】a+b>ab
abab<0abab+1<1(a1)(b1)<1
a,b 是正整数,a1b1
a10b10
(1)(b1)0
(a1)(b1)<1,则 (a1)(b1)=0
a=1 b=1,即 a,b 有一个为 1
a+b>ab 充要条件是 a,b 有一个为 1,故选 B
【点拨】
① 本题求充要条件就相当于 “当 a,b 是正整数,由 a+b>ab 可以等价推导出什么结论”;
p q 充要条件就是相当于两个命题是等价的,这个很重要,有一种数学思想叫做 “等价转化”,在推导问题的过程中经常遇到它,这需要严谨的逻辑分析.
 

【典题 3】 x23x4>0" x23ax10a2>0" 的必要不充分条件,求实数 a 的取值范围.
【解析】 x23x4>0 x>4 x<1
即不等式的解集为 A{x|x>4x<1}
x23ax10a2>0 (x+2a)(x5a)>0
a=0,则不等式的解为 a>0
此时不等式的解集为为 B{x|x0}
a>0,则不等式的解集为 B{x|x>5ax<2a}
a<0,不等式的解集为 B{x|x>2ax<5a}
()
x23x4>0" x23ax10a2>0" 的必要不充分条件,则 BA
()
则当 a0 时,不满足条件.
a>0 时,则满足 {5a42a<1,解得 a45
a<0 时,则满足 {2a45a1,解得 a2
综上实数 a 的取值范围 {aa2 或a45}.
【点拨】
① 本题涉及含参的一元二次不等式的求解,要注意两个根 5a,2a 的大小比较,才有了 a=0,a>0,a<0" 的分类;
② 从集合的角度去理解充分条件和必要条件,记住 “小范围推得出大范围”.
 

巩固练习

1(★★) 已知 a>0,b>0,mR, 则 ab 的一个必要不充分条件是 (  )
A.ambm
B.am2bm2
C.am2bm2
D.a+m2b+m2
 

2(★★★) a,bR,命 pa>b,命题 qa|a|>b|b|,则 p q 的 (  )
A. 充分不必要条件
B. 必要不充分条件
C. 充分必要条件
D. 既不充分也不必要条件
 

3 (★★) 在关于 x 的不等式 ax2+2x+1>0 中,a>1 ax2+2x+1>0 恒成立” 的 (  )
A. 充分不必要条件
B. 必要不充分条件
C. 充要条件
D. 既不充分也不必要条件
 

4(★★★) 已知命题 px<2m+1,qx25x+6<0,且 p q 的必要不充分条件,则实数 m 的取值范围为 _ .
 

5(★★★) 已知 p(x+1)(2x)0q 关于 x 的不等式 x2+2mxm+6>0 恒成立.
(1) 当 xR q 成立,求实数 m 的取值范围;
(2) 若 p q 的充分不必要条件,求实数 m 的取值范围.
 
 

答案

1.C
2.C
3.C
4.m1
5.(1)(3,2) (2) 103<m<73

 

【题型二】 全称量词与存在量词

【典题 1】判断下列命题的真假,并写出这些命题的否定:
(1)xN,x3>x2
(2) 所有可以被 5 整除的整数,末位数字都是 0
(3)x0R,x02x0+10
(4) 存在一个四边形,它的对角线互相垂直.
【解析】(1) 全称命题,当 x0 时,结论不成立,所以为假命题.
命题的否定:xN,x3x2..
(2) 全称命题,所有可以被 5 整除的整数,末位数字都是 0 5;为假命题.
命题的否定:存在可以被 5 整除的整数,末位数字不都是 0;(这里不能写 “都不是”)
(3) 特称命题,x02x0+1=(x012)2+3434,所以结论不成立,为假命题.
命题的否定:xR,x2x+1>0
(4) 特称命题,菱形的对角线互相垂直,真命题.
命题的否定:任意的四边形,它的对角线不互相垂直.
【点拨】全称命题的否定是特称命题,特称命题的否定是全称命题.
 

【典题 2】若命题 “x[1,4] 时,x24xm0” 是假命题,则 m 的取值范围 _
【解析】x[1,4],x24xm0 是假命题,
该命题的否定 "x0[1,4],x024x0m=0" 是真命题,
即方程 x24xm=0 [1,4] 上有解,
(14m)(1616m)0,解得 4m0.
【点拨】
① 命题与命题的否定的真假性相反;
② 正面不好证明,可从反面入手.
 

巩固练习

1(★) 命题 xR,x2x+1<0 的否定是 _.
 
2(★★) 若命题 x0R3x02+2ax0+1<0 是假命题,则实数 a 的取值范围是 _
 
3(★★) 已知命题 x0[1,1],x02+3x0+a>0 为真命题,则实数 a 的取值范围是 _
 

挑战学霸
设数集 S={a,b,c,d} 满足下列两个条件:
(1)x,ySxyS
(2)x,y,zS xy,则 xzyz
现给出如下论断:
a,b,c,d 中必有一个为 0
a,b,c,d 中必有一个为 1
③若 xS xy=1,则 yS
④存在互不相等的 x,y,zS,使得 x2=yy2=z
其中正确论断的个数是 _.
 
 

参考答案

1.xR,x2x+10
2.[3,3]
3.(2,+)
 
挑战学霸
由 (2) 知 0 不属于 S(①不成立),
由 (1) 可推出对于任意 a,b,c,dS,abcdS
abcd 等于 a,b,c,d 中的某一个,
不妨设 abcd=a
a0bcd=1(由 (1) 知②成立),
若③中 x=b,则 y=cd
由 (1) 知 cdS,即 yS
x=b 时③成立,
同理有 x=c 时③成立和 x=d 时③成立,
下面讨论 x=a 时,
1S a=1,则 y=1S,③成立 (最后会证到 a abcd 不可能等于 1),
a1,则 b,c,d 中的某个等于 1
不妨设 b=1,由 bcd=1 cd=1
由 (1) 知 acS,又 aca(即 c1),acb(即 ad),acc(即 a1),
ac=d
同理有 ad=c
acad=dca2=1a=1
y=1S③成立,
综上,对于任意 xS,xy=1,有 yS 成立,即③成立,
a1 abcd1 的讨论可知
abcd1 时,S={1,1,i,i}
(联立 cd=1,ac=d,ad=c 解出 a,c,d)
此时,④成立,
a=1 abcd=1,则 bcd=1=a,由 1 知 cdS
cd=a=1,则 b=bcd=a,不可能,
cd=c,则 d=1=a,不可能,
cd=d,则 c=1=a,不可能,
cd=b
b2=bcd=a
同理有 c2=a,d2=a
a 的平方根有且只有两个值,
那么 b,c,d 中至少有两个相同,这与 b,c,d 同属于 S 矛盾,
不存在 a=1 abcd=1 的情况,
④成立.
故选正确 3 个.

posted @   贵哥讲数学  阅读(683)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通
//更改网页ico // 实现数学符号与汉字间有间隙 //文章页加大页面,隐藏侧边栏
点击右上角即可分享
微信分享提示