集合的概念与运算自主梳理1.集合元素的三个特征:确定性、互异性、无序性.2.元素与集合的关系是属于或不属于关系,用符号∈或表示.3.集合的表示法:列举法、描述法、图示法、区间法.4.集合间的基本关系对任意的x∈A,都有x∈B,则A⊆B(或B⊇A).若A⊆B,且在B中至少有一个元素x∈B,但xA,则A真包含B(或BA).若A⊆B且B⊆A,则A=B
5.集合的运算及性质设集合A,B,则A∩B={x|x∈A且x∈B},A∪B={x|x∈A或x∈B}.设全集为U,则∁UA={x|x∈U且xA}.A∩∅=∅,A∩B⊆A,A∩B⊆B,A∩B=A⇔A⊆B
A∪∅=A,A∪B⊇A,A∪B⊇B,A∪B=B⇔A⊆B
A∩∁UA=∅;A∪∁UA=U
命题及其关系、充分条件与必要条件1.命题用语言、符号或式子表达的,可以判断真假的陈述句叫做命题,其中判断为真的语句叫做真命题,判断为假的语句叫做假命题.2.四种命题及其关系(1)四种命题一般地,用p和q分别表示原命题的条件和结论,用綈p和綈q分别表示p和q的否定,于是四种命题的形式就是原命题:若p则q(p⇒q);逆命题:若q则p(q⇒p);否命题:若非p则非q(非p⇒非q);逆否命题:若非q则非p(非q⇒非p).(2)四种命题间的关系(3)四种命题的真假性①两个命题互为逆否命题,它们有相同的真假性.②两个命题为逆命题或否命题,它们的真假性没有关系.3.充分条件与必要条件若p⇒q,则p叫做q的充分条件;若q⇒p,则p叫做q的必要条件;如果p⇔q,则p叫做q的充要条件.简单的逻辑联结词、全称量词与存在量词1.逻辑联结词命题中的或,且,非叫做逻辑联结词.“p且q”记作p∧q,“p或q”记作p∨q,“非p”记作乛p
2.命题p∧q,p∨q,乛p的真假判断pqp∧qp∨q乛p真真真真假真假假真假假真假真真假假假假真3
全称量词与存在量词(1)短语“所有的”“