逻辑联结词及量词.doc

东北师大附中2011-2012学年高三数学（理科）第一轮复习导学案003简单的逻辑联结词、全称量词与存在量词编写教师：薛玉财 审稿教师：高长玉一、知识梳理（阅读教材选修2-1第14页至第27页）1简单的逻辑联结词 常用的简单的逻辑联结词有“且”、“或”、“非”，分别用符号表示其含义：“且”是若干个简单命题同时成立；“或”是若干个简单命题中至少有一个成立；“非”是对一个命题的否定（只否定结论）2由“且”、“或”、“非”联结的命题及其真假“且”即“”，含义是两个命题“同时”成立“或”即“”，其含义是、两个命题“至少有一个”成立“非”，即“”，含义是对命题的“否定”由“且”、“或”、“非”联结的命题的真值表：真真真真假真假假真假假真假真真假假假假真3量词（1）短语“对所有的”或“对任意一个”在陈述语句中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“”表示含有全称量词的命题叫做全称命题（2）短语“存在一个”或“至少有一个”在陈述语句中表示事物的个体或部分，逻辑中通常叫做存在量词，并用符号“”表示含有存在量词的命题叫做特称命题，或叫存在性命题（3）全称命题：；它的否定是特称命题：；它的否定是二、题型探究探究一： 由“且”、“或”、“非”联结命题并判断其真假例1 写出下列各组命题构成的“”、“”、“”形式的命题，并判断真假（1）：1是素数；：1是方程的根；（2）：平行四边形的对角线相等；：平行四边形的对角线互相垂直；（3）：方程的两实数根符号相同；：方程的两实数根绝对值相等；思路: (1) 利用“且”、“或”、“非”把两个命题联结成新命题；（2）根据命题和命题的真假判断新命题的真假解答：（1）: 既是素数又是方程的根假命题：是素数或是方程的根真命题：不是素数真命题（2）：平行四边形的对角线相等且互相垂直假命题：平行四边形的对角线相等或互相垂直假命题：有些平行四边形的对角线不相等真命题（3）：方程的两实根符号相同且绝对值相等假命题：方程的两实根符号相同或绝对值相等假命题：方程的两实根符号不相同真命题点评：正确理解逻辑联结词“且”、“或”、“非”的含义是解题的关键，应根据组成各个命题的词语中所出现的逻辑联结词进行命题结构与真假的判断其步骤为：确定新命题的构成形式；判断其中原命题的真假；根据其真值表判断新命题的真假探究二： 以由“且”、“或”、“非”联结的命题的真假为背景，求解参数例2已知命题：关于的方程有实根；命题：函数在上是增函数，若“或”是真命题，“且”是假命题，求实数的取值范围思路：分别求出满足命题、的实数的取值范围，根据真值表对命题、的真假情况分类讨论求实数的取值范围解： 真：， 或真：，由“或”是真命题，“且”是假命题得、两命题一真一假当真假时，；当假真时，综上，的取值范围为点评：解决这类问题时，应先根据题目条件，即新命题的真假情况，推出每一个命题的真假（有时不一定只有一种情况），然后再求出每个命题是真命题时参数的取值范围，最后根据每个命题的真假情况，求出参数的取值范围此类参数问题中命题的本身可以涉及与其他知识点的综合，如函数与方程问题、函数与不等式问题探究三： 含有量词的命题的否定例3 写出下列命题的否定并判断真假（1）：所有末位数字是的整数都能被整除；（2）：；（3）：存在一个三角形，它的内角和大于；（4）：某些梯形的对角线互相平分思路：通过否定量词、否定判断词写出命题的否定，利用与的真假关系来判断真假解答：（1）：存在一个末位数字是的整数不能被整除，假命题（2）：，真命题（3）：任意一个三角形的内角和不大于，真命题（4）：每一个梯形的对角线都不互相平分，真命题点评：（1）全（特）称命题的否定与命题的否定有着一定的区别，全（特）称命题的否定是将其全称量词改为存在量词（或存在量词改为全称量词），并把结论否定；而命题的否定，只需直接否定结论即可（2）要判断“”的真假，可以直接判断，也可以判断的真假，利用与的真假相反判断三、方法提升：1复合命题是由简单命题与逻辑联结词构成，简单命题的真假决定了复合命题的真假，复合命题的真假用真值表来判断，对于“或”，只有都为假，才为假，其他情况为真；对于“”， 只有都为真，才为真，其他情况为假；“非”的真假与的真假相反2常见的全称量词有：“所有的”、“任意一个”、“一切”、“每一个”、“任给”；常见的存在量词有：“存在一个”、“至少有一个”、“有些”、“有一个”“某个”“有的”等3要判断全称命题的是真命题，需对集合中每一个元素，证明成立，若在集合中找到，使得不成立，那么这个全称命题就是假命题；要判断一个特称命题是真命题，只要在限定集合中，至少找到一个，使得成立即可，否则，这一特称命题就是假命题4全称命题的否定是特称命题；特称命题的否定是全称命题“”否定是“”；“”的否定是“”四、反思感悟 五、同步练习（一）选择题（1）下列命题中的假命题是C（A）（B）（C）（D）（2）下列命题中的假命题是B（A）, （B）,（C） , （D）,（3）有四个关于三角函数的命题：xR, += ： ： , ： 其中假命题的是A（A）， （B）， （C）， （D），（4）下列4个命题：；，其中的真命题是D（A） （B） （C） （D）（5）已知命题所有有理数都是实数，命题正数的对数都是负数，则下列命题中为真命题的是（ D ）（A） （B） （C） （D）（6）若，则下列正确的是A（A）或为真，非为假（B）且为假，非为真（C）且为假，非为真（D）且为假，或为假（7）命题“存在”的否定是D（A）不存在 （B）存在（C）对任意的 （D）对任意的（8）命题“”的否定是C（A） （B） （C） （D）（二）填空题（9）命题“存在，使得”的否定是 答案：对任意，都有.（10）命题“对任何，的否定是 存在，使得（11）已知命题，若命题是假命题，则实数的取值范围是 （12）已知：函数在R为增函数，：函数在R为减函数，则下列四个命题中，；，其中真命题的序号是 （13）设函数的定义域为，有下列三个命题：若存在常数，使得对任意，有，则是函数的最大值；若存在，使得对任意的，且，有，则是函数的最大值；若存在，使得对任意的，有，则是函数的最大值这些命题中，真命题的个数是_解析符合最大值的定义，它们是正确的，而是错误的答案2（三）、解答题（14）写出由下列各组命题构成的“或”，“ 且”，“非p”形式的新命题，并判断其真假() ：2是4的约数，：2是6的约数；() ：矩形的对角线相等，：矩形的对角线互相平分；() ：方程的两实根的符号相同，：方程的两实根的绝对值相等解()或：2是4的约数或2是6的约数，真命题；且：2是4的约数且2也是6的约数，真命题；非：2不是4的约数，假命题() 或：矩形的对角线相等或互相平分，真命题；且：矩形的对角线相等且互相平分，真命题；非：矩形的对角线不相等，假命题() 或：方程的两个实数根符号相同或绝对值相等，假命题；且：方程的两个实数根符号相同且绝对值相等，假命题；非：方程的两实数根符号不同，真命题（15）写出下列命题的否命题及命题的否定形式,并判断真假:()若,则关于的方程有实数根;()若都是奇数，则是奇数；（）若，则中至少有一个为零.解 （）否命题：若，则关于的方程无实数根；（假命题）命题的否定：，使得关于的方程无实数根；（真命题）（）否命题： 若不都是奇数，则不是奇数；（假命题）命题的否定：若都是奇数，则不是奇数；（真命题）（）否命题：若,则全不为0；（真命题）命题的