章集合与简易逻辑.docVIP

PAGE  PAGE 5 集合与常用逻辑用语 一．集合的有关概念 1．集合 ①定义：某些指定的对象集在一起就成为一个集合，每个对象叫做集合的元素。 ②表示方法 列举法：将集合中的元素一一列举出来，用大括号括起来，如{a,b,c} 描述法：将集合中的元素的共同属性表示出来，形式为：P={x∣P(x)}. 图示法：用文氏图表示题中不同的集合。　 ③性质 确定性：必居其一， 互异性：不写{1，1，2，3}而是{1，2，3}，集合中元素互不相同， 无序性：{1，2，3}={3，2，1} 2．常用数集 复数集C 实数集R 整数集Z 自然数集N 正整数集（或N+） 有理数集Q 3．元素与集合的关系： 4．集合与集合的关系： ①子集：若对任意都有[或对任意都有] 则A是B的子集。 记作： ②真子集：若，且存在，则A是B的真子集。 记作：B[或“”] AB，BC AC ③集合相等： ④空集：不含任何元素的集合，用表示，对任何集合A有，若则A 5．子集的个数 若，则A的子集个数为2n个、真子集的个数2n -1个、非空真子集的个数为2n -2个。 二．集合的运算 1．有关概念 ①交集： ②并集： ③全集：如果集合S含有我们所要研究的各个集合的全部元素，这个集合就可以看作一个全集，通常用U表示。 ④补集： 2．常用运算性质及一些重要结论 ① ② ③ ④ ⑤ 三、逻辑联结词与四种命题 （一）逻辑联结词四种命题 1．命题：可以判断真假的语句叫做命题。 2．逻辑联结词：“或（∨）”、“且（∧）”、“非（┐）”这些词叫做逻辑联结词。 或：两个简单命题至少一个成立 且：两个简单命题都成立， 非：对一个命题的否定 3．简单命题与复合命题：不含逻辑联结词的命题叫做简单命题；由简单命题与逻辑联结词构成的命题叫做复合命题。 4．表示形式：用小写的拉丁字母p、q、r、s…来表示简单的命题， 复合命题的构成形式有三类：p或q(记作p∨q)；p且q(记作p∧q)；非p(记作┑q) 。 5．真值表：表示命题真假的表叫真值表；复合命题的真假可通过下面的真值表来加以判定。 pq非pP或qP且q真真假真真真假假真假假真真真假假假真假假（二）四种命题 1．一般地，用p和q分别表示原命题的条件和结论，用┐p和┐q分别表示p和q的否定。于是四种命题的形式为： 互逆 原命题 若p则q 逆命题 若q则p 否命题 若则 逆否命题 若则 互 为 为互 否 逆 逆 否 互 否 互 否 互 逆 原命题：若p则q（） 逆命题：若q则p 否命题：若┐p则┐q 逆否命题：若┐q则┐p 原命题与逆否命题互为逆否命题，同真假； 逆命题与否命题互为逆否命题，同真假； 2．四种命题的关系： 注意：一个命题的“否命题”与“否定”是同一个命题吗？ 否命题：既否定条件又否定结论 命题的否定：只否定结论 14、全称量词与存在量词 全称量词：所有的，一切，全部，都，任意一个，每一个等； 存在量词：存在一个，至少有一个，有个，某个，有的，有些等； 全称命题：含有全称量词的命题称为全称命题。一般形式为：命题P：。 全称命题的否命题：。 特称命题：含有存在量词的命题称为存在性命题。一般形式为：命题P：。 特称命题的否命题：。 注意：全称命题的否定是特称命题，特称命题的否命题全称命题 六、充要条件 （一）充分条件、必要条件和充要条件 若，则p是q 的充分条件，q是p的必要条件，即“前者为后者的充分，后者为前者的必要”。 若，则p 是q的充分必要条件，简称p是q的充要条件。 若，且，那么称p是q的充分不必要条件。 若p q， 且qp，那么称p是q的必要不充分条件。 若pq， 且qp，那么称p是q的既不充分又不必要条件。 (二)给定两个命题，p、q, 可以考虑集合A=｛x︱x满足p｝,B=｛x︱x满足q｝,则有 若AB，则p 是q的充分条件。 若AB，则p 是q的必要条件。 3．若A=B，则p 是q的充要条件。 记住：小范围能推出大范围，大范围不能推出小范围。 高考链接 1.（2011高考，1）设集合U=,则（ ） （A） （B） （C） （D） 2、（2012,1）已知集合A={x|x2－x－20}，B={x|－1x1}，则( ) （A）A eq \o(?,?)B （B）B eq \o(?,?)A （C）A=B （D）A∩B=? 3.（辽宁卷1）已知集合，则集合＝（ ） A． B． C． D． 4. （江西卷2）定