数学选修2-1第一章常用逻辑用语典型例题含解析.doc

完整word版)数学选修2-1第一章常用逻辑用语典型例题含解析
一．知识点回顾：
1、命题：可以判断真假的语句叫命题；
逻辑联结词：“或”“且”“非”这些词就叫做逻辑联结词；
简单命题：不含逻辑联结词的命题;
复合命题：由简单命题与逻辑联结词构成的命题.
常用小写的拉丁字母，，，，……表示命题.
2、四种命题及其相互关系

四种命题的真假性之间的关系：
⑴、两个命题互为逆否命题，它们有相同的真假性；
⑵、两个命题为互逆命题或互否命题，它们的真假性没有关系．
3、充分条件、必要条件与充要条件
⑴、一般地，如果已知，那么就说：是的充分条件，是的必要条件；
若，则是的充分必要条件，简称充要条件．
⑵、充分条件，必要条件与充要条件主要用来区分命题的条件与结论之间的关系：
Ⅰ、从逻辑推理关系上看：
①若，则是充分条件，是的必要条件；
②若，但 ，则是充分而不必要条件;
③若 ，但，则是必要而不充分条件;
④若且，则是的充要条件；
⑤若 且 ，则是的既不充分也不必要条件.
Ⅱ、从集合与集合之间的关系上看：
已知满足条件，满足条件：
①若,则是充分条件；
②若,则是必要条件；
③若A B，则是充分而不必要条件;
④若B A，则是必要而不充分条件;
⑤若，则是的充要条件；
⑥若且，则是的既不充分也不必要条件.
4、复合命题
⑴复合命题有三种形式：或（）；且（）；非（）.
⑵复合命题的真假判断
“或”形式复合命题的真假判断方法：一真必真；
“且”形式复合命题的真假判断方法：一假必假；
“非”形式复合命题的真假判断方法：真假相对.
5、全称量词与存在量词
⑴全称量词与全称命题
短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“”表示.含有全称量词的命题，叫做全称命题.
⑵存在量词与特称命题
短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“”表示.含有存在量词的命题，叫做特称命题.
⑶全称命题与特称命题的符号表示及否定
①全称命题：，它的否定：全称命题的否定是特称命题．
②特称命题：，它的否定：特称命题的否定是全称命题.
二．典题训练：
【例1】　判断下列命题的真假．
(1)若x∈A∪B，则x∈B的逆命题与逆否命题；
(2)若0满足x2－x－6≤0或x2＋2x－8>0.
且綈p是綈q的必要不充分条件，求实数a的取值范围．

【例4】　写出下列命题的否定，并判断其真假．
(1)3＝2；
(2)5>4；
(3)对任意实数x，x>0；
(4)有些质数是奇数．

例5.已知命题p：x1和x2是方程x2－mx－2＝0的两个实根，不等式a2－5a－3≥|x1－x2|对任意实数m∈[－1,1]恒成立；命题q：不等式ax2＋2x－1>0有解；若命题p是真命题，命题q是假命题，求a的取值范围．

例6.判断命题“已知a、x为实数，如果关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集非空，则a≥1”的逆否命题的真假．

例7.已知p：≤2；q：x2－2x＋1－m2≤0 (m>0)，若綈p是綈q的必要非充分条件，求实数m的取值范围．

例8.已知方程x2＋(2k－1)x＋k2＝0，求使方程有两个大于1的实数根的充要条件．

例题解析：
例1　解　(1)若x∈A∪B，则x∈B是假命题，故其逆否命题为假，逆命题为若x∈B，则x∈A∪B，为真命题．
(2)∵0－4b<0，关于x的方程x2＋ax＋b＝0无实根，故pq.若关于x的方程x2＋ax＋b＝0有两个小于1的正根，不妨设这两个根为x1、x2，且00}
＝{x|x<－4或x≥－2}．
∵綈p是綈q的必要不充分条件，
∴q是p的必要不充分条件．
∴AB，∴或，
解得－≤a<0或a≤－4.
故实数a的取值范围为(－∞，－4]∪.
【例4】：　解　(1)3≠2，真命题；
(2)5≤4，假命题；
(3)存在一个实数x，x≤0，真命题；
(4)所有质数都不是奇数，假命题．
例5.解　∵x1，x2是方程x2－mx－2＝0的两个实根，
则x1＋x2＝m且x1x2＝－2，
∴|x1－x2|＝＝，
当m∈[－1,1]时，|x1－x2|max＝3，
由不等式a2－5a－3≥|x1－x2|对任意实数m∈[－1,1]恒成立可得：a2－5a－3≥3，
∴a≥6或a≤－1.
所以命题p为真命题时，a≥6或a≤－1.
命题q：不等式ax2＋2x－1>0有解，
当a>0时，显然有解；
当a＝0时，2x－1>0有解；
当a<0时，∵ax2＋2x－1>0有解，
∴Δ＝4＋4a>0，∴－10有解时a>－1.
又命题q为假命题，∴a≤－1.
综上得，若p为真命题且q为假命题则a≤－1.
例6.解　方法一　(直接法)
逆否命题：已知a、x为实数，如果a<1，则关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集为空集．
判断如下：
二次函数y＝x2＋(2a＋1)x＋a2＋2图象的开口向上，
判别式Δ＝(2a＋1)2－4(a2＋2)＝4a－7.
∵a<1，∴4a－7<0.
即二次函数y＝x2＋(2a＋1)x＋a2＋2与x轴无交点，
∴关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集为空集，故逆否命题为真．
方法二　(先判断原命题的真假)
∵a、x为实数，且关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集非空，
∴Δ＝(2a＋1)2－4(a2＋2)≥0，
即4a－7≥0，解得a≥，
∵a≥>1，∴原命题为真．
又∵原命题与其逆否命题等价，∴逆否命题为真．
方法三　(利用集合的包含关系求解)
命题p：关于x的不等式x2＋(2a＋1)x＋a2＋2≤0有非空解集．
命题q：a≥1.
∴p：A＝{a|关于x的不等式x2＋(2a＋1)x＋a2＋2≤0有实数解}＝{a|(2a＋1)2－4(a2＋2)≥0}＝，
q：B＝{a|a≥1}．
∵A⊆B，∴“若p，则q”为真，
∴“若p，则q”的逆否命题“若綈q，则綈p”为真．
即原命题的逆否命题为真．
例7．解　綈p：>2，解得x<－2，或x>10，
A＝{x|x<－2，或x>10}．
綈q：x2－2x＋1－m2>0，解得x<1－m，或x>1＋m，
B＝{x|x<1－m，或x>1＋m}．
∵綈p是綈q的必要非充分条件，∴BA，
即且等号不能同时成立⇒m≥9，
∴m≥9.
例8．解　令f(x)＝x2＋(2k－1)x＋k2，方程有两个大于1的实数根⇔，
即k<－2.
所以其充要条件为k<－2.