第一讲集合与常用逻辑用语1．集合与元素(1)集合元素的三个特征：确定性、互异性、无序性．(2)元素与集合的关系是属于或不属于关系，用符号∈或∉表示．(3)集合的表示法：列举法、描述法、图示法．(4)常见数集的记法集合自然数集正整数集整数集有理数集实数集符号NN*(或N＋)ZQR2.集合间的关系(1)子集：对任意的x∈A，都有x∈B，则A⊆B(或B⊇A)．(2)真子集：若A⊆B，且A≠B，则AB(或BA)．(3)空集：空集是任意一个集合的子集，是任何非空集合的真子集．(4)若A含有n个元素，则A的子集有2n个，A的非空子集有2n－1个．(5)集合相等：若A⊆B，且B⊆A，则A＝B.3．集合的运算集合的并集集合的交集集合的补集图形符号A∪B＝{x|x∈A或x∈B}A∩B＝{x|x∈A且x∈B}∁UA＝{x|x∈U，且x∉A}4.集合的运算性质并集的性质：A∪∅＝A；A∪A＝A；A∪B＝B∪A；A∪B＝A⇔B⊆A.交集的性质：A∩∅＝∅；A∩A＝A；A∩B＝B∩A；A∩B＝A⇔A⊆B.补集的性质：A∪(∁UA)＝U；A∩(∁UA)＝∅；∁U(∁UA)＝A.5．命题的概念在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题．其中判断为真的语句叫真命题，判断为假的语句叫假命题．6．四种命题及相互关系17．四种命题的真假关系(1)两个命题互为逆否命题，它们有相同的真假性；(2)两个命题互为逆命题或互为否命题，它们的真假性没有关系．8．充分条件与必要条件(1)如果p⇒q，则p是q的充分条件，q是p的必要条件；(2)如果p⇒q，q⇒p，则p是q的充要条件．9．简单的逻辑联结词(1)命题中的且、或、非叫做逻辑联结词．10.全称量词与存在量词(1)全称量词：短语“所有的”“任意一个”在逻辑中通常叫做全称量词，用“∀”表示；含有全称量词的命题叫做全称命题．(2)存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，用“∃”表示；含有存在量词的命题叫做特称命题．11．含有一个量词的命题的否定题型一集合的基本概念例1集合A＝{1,2,3,4,5}，B＝{(x，y)|x∈A，y∈A，x－y∈A}，B中所含元素的个数()A．3B．6C．8D．10题型二集合间的基本关系例2已知集合A＝{x|x2－3x＋2＝0，x∈R}，B＝{x|04}D．{x|01题型八含有逻辑联结词命题的真假判断例8命题p：将函数y＝sin2x的图象向右平移个单位得到函数y＝sin的图象；命题q：函数y＝sincos的最小正周期为π，则命题“p∨q”“p∧q”“非p”为真命题的个数是()A．1B．2C．3D．0题型九全(特)称命题的否定例9写出下列命题的否定，并判断其真假：(1)p：∀x∈R，x2－x＋≥0；(2)r：∃x0∈R，x＋2x0＋2≤0；题型十逻辑联结词与命题真假的应用例10(2013·山西名校联考)已知p：∃x∈R，mx2＋1≤0，q：∀x∈R，x2＋mx＋1>0，若p∨q为假命题，则实数m的取值范围为()A．m≥2B．m≤－2C．m≤－2或m≥2D．－2≤m≤234
