第一讲集合与常用逻辑用语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)存在量词:短语“存