期末复习：常用逻辑用语.doc

本讲教育信息】一. 教学内容： 期末复习：常用逻辑用语学习目标命题与量词，含有“或”、“且”、“非”复合命题的概念及其构成形式，初步掌握四种命题的关系；准确理解充分条件，必要条件，充要条件的含义。并会判断与证明它们的关系。考点分析逻辑联结词：“或”、“且”、“非”这些词叫做逻辑联结词，意义为： 或：两个简单命题中至少有一个成立。 且：两个简单命题都成立 非：对一个命题的否定 复合命题有三类：p或q p且q非p 3、真值表：p真假真真真假真假p真假真真假假假假P真假q假真4、互逆命题、互否命题、互为逆否命题的概念：（1）如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题；（2）如果一个命题的条件和结论分别是另一个命题条件的否定和结论的否定，那么这两个命题叫做互否命题；（3）如果一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定，那么这两个命题叫做逆否命题。换一种表述：（1）交换原命题的条件和结论，所得的命题是逆命题；（2）同时否定原命题的条件和结论，所得的命题是否命题；（3）交换原命题的条件和结论，并且同时否定，所得的命题是逆否命题。5、四种命题之间的相互关系如下：6、四种命题的真假有如下三条关系：（1）原命题为真，它的逆命题不一定为真；（2）原命题为真，它的否命题不一定为真；（3）原命题为真，它的逆否命题一定为真。7、反证法的一般步骤：（1）假设命题的结论不正确，即假设结论的反面成立；（2）从这个假设出发，经过推理论证，得出矛盾；（3）由矛盾判定假设不正确，从而肯定命题的结论正确。即：否定结论推出矛盾肯定结论8、充要条件（1）且p，p是的充分不必要条件（2）p且，p是的必要不充分条件（3）且，p是的充要条件（4）p且p，p是的既不充分也不必要条件9、要理解“充分条件”“必要条件”的概念当“若p则q”形式的命题为真时，就记作pq，称p是q的充分条件，同时称q是p的必要条件，因此判断充分条件或必要条件就归结为判断命题的真假。10、要理解“充要条件”的概念，对于符号“”要熟悉它的各种同义词语：“等价于”，“当且仅当”，“必须并且只须”，“，反之也真”等。11、数学概念的定义具有相称性，即数学概念的定义都可以看成是充要条件，既是概念的判断依据，又是概念所具有的性质。12、从集合观点看，若AB，则A是B的充分条件，B是A的必要条件；若AB，则A、B互为充要条件。13、证明命题条件的充要性时，既要证明原命题成立（即条件的充分性），又要证明它的逆命题成立（即条件的必要性）。14、全称量词：“任意”、“全部”、“所有”存在量词：“存在一个”、“至少一个”【典型例题】例1. 已知是方程的两根，则是的（ ）A. 充分但不必要条件 B. 必要但不充分条件C. 充要条件 D. 既不充分也不必要条件分析：利用韦达定理转换解： 是方程的两根 的值分别为 说明：，但，事实上只要取，作为反例即可说明这一点，因此选A。判断命题为假命题可以通过举反例。例2. 设命题甲为：，命题乙为，那么甲是乙的（ ）A. 充分不必要条件 B. 必要不充分条件C. 充要条件 D. 既不充分也不必要条件分析：先解不等式再判定。解：解不等式得 ，但 甲是乙的充分不必要条件，选A。一般情况下，如果条件甲为，条件乙为当且仅当时，甲为乙的充分条件，当且仅当时，甲为乙的必要条件当且仅当A=B时，甲为乙的充要条件例3. 把下列命题改写成“若p则q”的形式，并写出它们的逆命题、否命题和逆否命题。负数的平方是正数；正方形的四条边相等；全等三角形一定相似；对顶角相等；若，则。解：若一个数为负数，则它的平方为正数。逆命题：若一个数的平方为正数，则这个数为负数。否命题：若一个数不为负数，则它的平方不为正数。逆否命题；若一个数的平方不为正数则这个数不为负数。若一个四边形为正方形，则它的四条边相等。逆命题：若一个四边形四条边相等，则它为正方形。否命题：若一个四边形不为正方形，则它的四条边不相等。逆否命题：若一个四边形四条边不相等，则它不为正方形。若两个三角形全等，则这两个三角形一定相似。逆命题：若两个三角形相似，则这两个三角形一定全等。否命题：若两个三角形不全等，则这两个三角形一定不相似。逆否命题：若两个三角形不相似，则这两个三角形一定不全等。若两个角为对顶角，则这两个角相等。逆命题：若两个角相等，则这两个角为对顶角。否命题：若两个角不为对顶角，则这两个角不相等。逆否命题：若两个角不相等，则这两个角不为对顶角。逆命题：若，则，为假命题。否命题：若，则，为假命题。逆否命题：若，则，为真命题。例4. 已知p： |1|2，q：x22x1m20（m0），若p是q的必要而不充分条件，求实数m的取值范围。解：由题意知：命题：若p是q的必要而不充分条件的等价命题，即逆否命题为：p是q的充分不必要条件。p：|1|2212132x10q：x22x1m20x（1m）x（1m）0 *p是q的充分不必要条件，不等式|1|2的解集是x22x1m20（m0）解集的子集又m0不等式*的解集为1mx1m，m9，实数m的取值范围是9，。例5. 写出下列命题的否定。（1）所有自然数的平方是正数；（2）任何实数x都是的根；（3）对任意实数x，存在实数y，使；（4）有些质数是奇数（5）（6）解：（1）存在自然数的平方是负数或0；（2）存在实数x，它不是的根；（3）存在实数x，同时存在实数y，使（4）任何质数都不是奇数。（5）（6）例6. 有A、B、C三个盒子，其中一个内放有一个苹果，在三个盒子上各有一张纸条。A盒子上的纸条写的是“苹果在此盒内”，B盒子上的纸条写的是“苹果不在此盒内”，C盒子上的纸条写的是“苹果不在A盒内”。如果三张纸条中只有一张写的是真的，请问苹果究竟在哪个盒子里？解：若苹果在A盒内，则A、B两个盒子上的纸条写的为真，不合题意。若苹果在B盒内，则A、B两个盒子上的纸条写的为假，C盒子上的纸条写的为真，符合题意，即苹果在B盒内。同样，若苹果在C盒内，则B、C两盒子上的纸条写的为真，不合题意。综上，苹果在B盒内。【模拟试题】一、选择题（本大题共6小题，每小题5分，共30分）1、对以下四个命题判断正确的是（ ）（1）原命题：若一个自然数的末位数字为零，则这个自然数被5整除。（2）逆命题：若一个自然数能被5整除，则这自然数末位数字为零。（3）否命题：若一个自然数的末位数字不为零，则这个自然数不能被5整除。（4）逆否命题：若一个自然数不能被5整除，则这个自然数末位数字不为零。A. （1）与（3）为真，（2）与（4）为假B. （1）与（2）为真，（3）与（4）为假C. （1）与（4）为真，（2）与（3）为假D. （1）与（4）为假，（2）与（3）为真2、有下列四个命题： （1）“若，则x、y互为相反数”的逆命题； （2）“若，则有实根”的逆否命题； （3）“全等三角形的面积相等”的逆命题； （4）“不等边三角形的三个内角相等”的逆否命题。 其中真命题为（ ） A. （1）与（3） B. （2）与（3） C. （1）与（2） D. （2）与（4）3、如果A是B的充分而不必要条件，那么A是B的（ ） A. 充分不必要条件 B. 必要不充分条件 C. 充要条件 D. 既不充分也不必要条件 4、已知，其中为正实数，则同时成立是成立的（ ） A. 充分非必要条件 B. 必要非充分条件 C. 充要条件 D. 既非充分也不必要条件5、“”是“”的（ ）A. 充分条件 B. 必要条件 C. 充要条件 D. 既不充分也不必要条件 6、若A是B成立的充分条件，D是C成立的必要条件，C是B成立的充要条件，则D是A成立的（ ）A. 充分条件 B. 必要条件 C. 充要条件 D. 既不充分也不必要条件二、填空题（本题共4小题，每小题5分，共20分） 7、命题“若且，则”的逆命题是_；否命题是：_；逆否命题是_。以上四个命题中，真命题有_个。 8、从“”、“”与“”中选出适当的符号填空：（U为全集，A、B是U的子集） （1）A=B_ （2）_9、“对任意实数，不等式成立，则”的逆命题，否命题和逆否命题中，真命题共有_个。10、已知P、Q都是R的必要条件，S是R的充分条件，Q是S的充分条件，则P是Q的_条件。三、解答题（本大题共4题，共50分）11、写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假：（1）若，则；（2）若两个三角形全等，则两三角形的面积相等；（3）等腰三角形两底角相等；（4）若，则。 12、已知p：，q：，若是的必要不充分条件，求实数m的取值范围。13、已知a、b、c是一组勾股数（即），求证：a、b、c不可能都是奇数。14、已知关于x的方程，求使方程有两个正实数根的充要条件。【试题答案】1、C2、C（提示：(1)、(3)先写出逆命题和否命题，再判断。(2)、(4)直接判断原命题）3、B 提示：A但BA B但B 4、C 提示： 显然，从对称性不妨设，则，故为充要条件。5、解：在这里“”是条件，而所以但因此“”是“”故选B。6、解： A是B的充分条件 D是C成立的必要条件 C是B成立的充要条件 由得 由得 D是A成立的必要条件，选B7、若，则且； 若或，则； 若，则或； 2 8、（1）；（2）9、3 提示：逆：对任，若，且 则不等式恒成立 否：对任，若不等式不恒成立 则 逆否：对任意实数 若 则不等式不恒成立。 10、必要 提示： 11、逆命题：（1）若则：（假）（2）若两三角形的面积相等，则两个三角形全等（假）（3）若一个三角形两底角相等则为等腰三角形（真）（4）若，则（真）否命题：（1）若则（2）若两个三角形不全等，则两三角形的面积不相等（假）（3）若一个三角形两底角不相等则不是等腰三角形（真）（4）若则（真）逆否命题：（1）若则（真）（2）若两三角形的面积不相等，则两个三角形不全等（真）（3）若一个三角形不是等腰三角形则两底角不相等（真）（4）若，则（假）1