专题一集合、常用逻辑用语、函数与导数第一讲集合与常用逻辑用语一、集合的含义与表示1.集合的含义.(1)集合中元素的性质.集合中的元素具有确定性、互异性、无序性三个特征.(2)元素与集合的关系.元素与集合的关系有属于、不属于两种.2.集合的表示法二、集合间的关系1.包含关系.若任意元素x∈A,则x∈B,那么集合A与B的关系是A⊆B.(1)相等关系:若A⊆B且A⊇B,则A=B
三、集合的运算1.集合的三种运算.(1)并集:A∪B={x|x∈A,或x∈B};(2)交集:A∩B={x|x∈A,且x∈B};(3)补集:∁UA={x|x∈U,且x∉A}其中U为全集,A⊆U.2.运算性质及重要结论.(1)A∪A=A,A∪∅=A,A∪B=B∪A;(2)A∩A=A,A∩∅=∅,A∩B=B∩A;(3)A∩∁UA=∅,A∪∁UA=U;(4)A∩B=A⇔A⊆B,A∪B=A⇔B⊆A
1.四种命题.(1)四种命题之间的相互关系.(2)四种命题的真假关系.①两个命题互为逆否命题,它们有相同的真假性.②两个命题互为逆命题或否命题,它们的真假性没有关系.2.充分条件、必要条件与充要条件.(1)定义:对于“若p,则q”形式的命题,如果已知p⇒q,那么p是q的充分条件;如果q⇒p,那么p是q的必要条件;如果既有p⇒q,又有q⇒p,则记作p⇔q,就是说p是q的充要条件.(2)若p⇒q但q⇒/p,则p是q的充分不必要条件;若q⇒p但p⇒/q,则p是q的必要不充分条件.2
全称量词与全称命题.(1)全称量词:短语“对所有的”“对任意一个”等在逻辑中通常叫做全称量词,用符号“∀”表示.(2)全称命题:含有全称量词的命题叫做全称命题.3.特称量词(存在量词)与特称命题(存在性命题).(1)特称量词(存在量词):短语“存在一个”“至少有一个”等在逻辑中通常叫做特称量词(存在量词),用符号“∃”表示.(2)特称命题(存在性命