命题和常用逻辑用语.pptVIP

命题及常用逻辑用语 知识点回顾及经典例题讲析题组训练 7．设x是实数，则“x0”是“|x|0”的(　　) A．充分而不必要条件 B．必要而不充分条件 C．充要条件 D．既不充分也不必要条件 解析：∵x0?|x|0，|x|0?x0或x0. 答案：A 1．命题中的“且”、“或”、“非”叫做逻辑联结词． 2．用来判断复合命题的真假的真值表 3. 全称量词与存在量词 (1)常见的全称量词有：“任意一个”、“一切”、“每一个”、“任给”、 “所有的”等． (2)常见的存在量词有：“存在一个”、“ 有一个”、“有些”、“有一 个”、“某个”、“有的”等． (3)全称量词用符号“ ”表示；存在量词用符号“?”表示． 4．全称命题与特称命题 (1)含有 量词的命题叫全称命题． (2)含有 量词的命题叫存在性命题． 5．命题的否定 （1）存在性命题：p：?x∈R , p（x）它的否定是非p： ? x∈A，非p （x） （2）全称命题：q: ? x∈A,q(x),它的否定是非p：?x∈A ，非p （x）； (3)p或q的否定为：非p且非q；p且q的否定为：非p或非q. 6．设p、q是两个命题，则复合命题“p∨q为真，p∧q为假”的充要条件是(　　) A．p、q中至少有一个为真 B．p、q中至少有一个为假 C．p、q中有且只有一个为真 D．p为真、q为假 答案：C 4．已知命题p：?x∈R，sin x≤1，则(　　)　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 A．非p：?x∈R，sin x≥1 B．非p：?x∈R，sin x≥1 C．非p：?x∈R，sin x1 D．非p：?x∈R，sin x1 解析：命题p是全称命题，全称命题的否定是特称命题． 答案：C Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【解】因为2 011＝402×5＋1，又因为[1]?{5n＋k|n∈Z}，所以2 011∈[1]，故命题①正确， 又因为－3＝5×(－1)＋2，所以－3∈[2]，故命题②不正确， 又因为所有的整数Z除以5可得余数的结果为：0,1,2,3,4，所以命题③正确； 若a－b属于同一类，则有a＝5n1＋k，b＝5n2＋k，所以a－b＝5(n1－n2)∈[0]，反过来如果a－b∈[0]，也可以得到a－b属于同一类，故命题④正确． 所以有3个命题正确，故选C. 【点评】本题是一道比较典型的新定义题，根据给出的定义综合考查了元素与集合间的关系、集合间的基本运算，同时考查了对充要条件的理解． Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 9．(2011天津卷·理)设x，y∈R，则“x≥2且y≥2”是“x2＋y2≥4”的(　　) A．充分不必要条件 B．必要不充分条件 C．充分必要条件 D．既不充分也不必要条件 【答案】A 【解析】∵x≥2且y≥2，∴x2＋y2≥4，∴x≥2且y≥2是x2＋y2≥4的充分条件；而x2＋y2≥4不一定得出x≥2且y≥2，例如当x≤－2且y≤－2时，x2＋y2≥4亦成立，故x≥2且y≥2不是x2＋y2≥4的必要条件． Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【答案】A Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. C