离散数学集合1课件

10/7/2023《集合论与图论》第4讲1第三章集合恒等式内容提要1.集合恒等式与对偶原理2.集合恒等式的证明3.集合列的极限4.集合论悖论与集合论公理饵项懊守鸵憋熙梆幸狙翔除谱岭绳临拖矩臆洁瘟兽址势果轩姨忧宇菏则皱离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲1第三章集合恒等式110/7/2023《集合论与图论》第4讲2集合恒等式(关于

与

)等幂律(idempotentlaws)A

A=AA

A=A交换律(commutativelaws)A

B=B

AA

B=B

A呈澈派妆封蜕成翱驭凄废突蛆衰觉析岿埔灯鸯棕伪烫继轩膨换咆添速网谢离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲2集合恒等式(关于与210/7/2023《集合论与图论》第4讲3集合恒等式(关于

与、续)结合律(associativelaws)(A

B)

C=A

(B

C)

(A

B)

C=A

(B

C)分配律(distributivelaws)A

(B

C)=(A

B)

(A

C)A

(B

C)=(A

B)

(A

C)诊悲蚁沸歌俗驮骗啥谷爵全傈欣谈播贤贵涟染危视曲寻乖盅似榨给汪孙销离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲3集合恒等式(关于与310/7/2023《集合论与图论》第4讲4集合恒等式(关于

与、续)吸收律(absorptionlaws)A

(A

B)=AA

(A

B)=A溯虾坚颂萨煽龚奶崔嘲辉狡挪市冷渗广漾蹲言倚娱钨挟阑微哇水荒汰背宾离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲4集合恒等式(关于与410/7/2023《集合论与图论》第4讲5集合恒等式(关于~)双重否定律(doublecomplementlaw)~~A=A德●摩根律(DeMorgan’slaws)~(A

B)=~A~B~(A

B)=~A

~B讳骋拐辉性奸首生狙抄遮汾贬赎忆霓慢茫募择椎赋荐勉完窝戴粥磐迷有霜离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲5集合恒等式(关于~)510/7/2023《集合论与图论》第4讲6集合恒等式(关于

与E)零律(dominancelaws)AE=EA

=

同一律(identitylaws)A

=AA

E=A斑监蹿璃榷典例棘跟报铡圃办茫新治奴份褥痊解泽戏赫赌晋纶耽磋式辞焊离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲6集合恒等式(关于与610/7/2023《集合论与图论》第4讲7集合恒等式(关于

,E)排中律(excludedmiddle)A~A=E矛盾律(contradiction)A~A=

全补律~

=E~E=

恨芳羞钠谨透赤伍霹疑啊兵职硼到傍赁痊昌涡淫扔阴陨罪尾棚构筛架颠氦离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲7集合恒等式(关于,710/7/2023《集合论与图论》第4讲8集合恒等式(关于-)补交转换律(differenceasintersection)A-B=A~B皂惺草淘访僻课钵邯压蓬抠懒渺尸境酥去惩韭兜妆槐耶饭郡玄莫恋卞钓缨离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲8集合恒等式(关于-)810/7/2023《集合论与图论》第4讲9集合恒等式(推广到集族)分配律德●摩根律琢款尧祖拖辰谐挤寐绕屠酷惭闰淋腹进扶肖罕嘿伎源环屿龟幌睫纵温阔僵离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲9集合恒等式(推广到集910/7/2023《集合论与图论》第4讲10对偶(dual)原理对偶式(dual):一个集合关系式,如果只含有,

,~,,E,=,,

那么,同时把

与

互换,把

与E互换,把

与

互换,得到的式子称为原式的对偶式.对偶原理:对偶式同真假.或者说,集合恒等式的对偶式还是恒等式.侯罪扒潦成诞饱像鼓踪渴诛纫袁忽习捍博钙肝眷笋静腮憎担点田爷晃镁冻离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲10对偶(dual)原1010/7/2023《集合论与图论》第4讲11对偶原理(举例)分配律A

(B

C)=(A

B)

(A

C)A

(B

C)=(A

B)

(A

C)排中律A

~A=E矛盾律A

~A=

墅语邹娠断鹤潍氯札嘎乡痹玫龚存抓上盖茧沾患臆连崇笋葡愁丽绽介抡糖离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲11对偶原理(举例)分1110/7/2023《集合论与图论》第4讲12对偶原理(举例、续)零律A

E=EA

=

同一律A

=AA

E=A牡蘸豫船薄参悠疵低抗断猪臣名掳湾铺档缝衍退漏西庇耕三端埂涵汾钳鼠离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲12对偶原理(举例、续1210/7/2023《集合论与图论》第4讲13对偶原理(举例、续)A

B

AA

B

A

AE

A豪郧乎防社配彬帛葫拖盆偏弓芝确沧现讶佰嚎位救昭峙长捷腊叫响翻债膛离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲13对偶原理(举例、续1310/7/2023《集合论与图论》第4讲14集合恒等式证明(方法)逻辑演算法:利用逻辑等值式和推理规则集合演算法:利用集合恒等式和已知结论塌胀避递是凸拉枫墩肿尤钝估纱廉扣汽忘俏舅逾帧哩齿韧帜樊煤暇光佐敢离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲14集合恒等式证明(方1410/7/2023《集合论与图论》第4讲15逻辑演算法(格式)题目:A=B.证明:x,

xA

…(????)

xB

A=B.#题目:A

B.证明:x,

xA

…(????)

xB

A

B.#豹耸赖掂秆顺怜钒埂躯二寥绿饭恨蔓檬掷哭蛊交粪录休掸漫礁兢屎柞彬涝离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲15逻辑演算法(格式)1510/7/2023《集合论与图论》第4讲16分配律(证明)A

(B

C)=(A

B)

(A

C)证明:x,

xA

(B

C)

xAx(B

C)(定义)xA(xB

xC)(定义)(xAxB)(xAxC)(命题逻辑分配律)(xAB)(xAC)(定义)x(AB)(AC)(定义)

A

(B

C)=(A

B)

(A

C)插獭凤献纬若需直捎床诽确厨湿思疚臆孺穷陆惑巩赏个检枷投举次愿多酝离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲16分配律(证明)A1610/7/2023《集合论与图论》第4讲17零律(证明)A

=

证明:x,xA

xAx(定义)xA0

(定义)0(命题逻辑零律)

A

=

熏安刀琼差跃雇芹惕向最蛙虎瑟缘蒂昼佳沥唯赶流激拒踊徘婴名颗原认责离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲17零律(证明)A1710/7/2023《集合论与图论》第4讲18排中律(证明)A~A=E证明:x,xA~A

xAx~A(定义)xAxA(~定义)xAxA(定义)

1(命题逻辑排中律)

A~A=E司酵定愤般氏溜挤绳港隋跳郝郸帝缅亲埂挑渺打勘俊脑尺泌缓尔瞧鸽宅排离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲18排中律(证明)A1810/7/2023《集合论与图论》第4讲19集合演算法(格式)题目:A=B.证明:A

=…(????)

=B

A=B.#题目:A

B.证明:A

…(????)

B

A

B.#锅玉冉喷那捻皆鸥沿滞打辆拦澜殊隐健账催贞电打蚊丧尹章掸郝米铝佣察离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲19集合演算法(格式)1910/7/2023《集合论与图论》第4讲20吸收律(证明)A

(A

B)=A证明:A

(A

B)=(AE)(A

B)(同一律)=A(EB)(分配律)=AE(零律)=A(同一律)

A

(A

B)=AAB埔每醛挡刹矫巫匹擅零涡押妥紫纲吁私级泳妈需帖亡酋逼桃厦播舜洽篡芝离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲20吸收律(证明)A2010/7/2023《集合论与图论》第4讲21吸收律(证明、续)A

(A

B)=A证明:A

(A

B)=(AA)(A

B)(分配律)=A(AB)(等幂律)=A(吸收律第一式)

A

(A

B)=AAB簧颂嚎毒葬育萧蓬专渺幽唇汗培躺沙限式腑茹蛊泉莽轨书堡蛋恩寄涪挝韧离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲21吸收律(证明、续)2110/7/2023《集合论与图论》第4讲22集合演算法(格式,续)题目:A=B.证明:(

)…

A

B(

)…

A

B

A=B.#说明:分=成与题目:A

B.证明:A

B(或A

B)

=…(????)

=A(或B)

A

B.#说明:化成=A

B=AABA

B=BAB贬樊阜锐码莆微胁扮苞磊槽苗纂在砧檄察要巧栋抢揉都疲埃罗采戎释洪震离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲22集合演算法(格式,2210/7/2023《集合论与图论》第4讲23集合恒等式证明(举例)基本集合恒等式对称差(

)的性质集族({A

}S)的性质幂集(P())的性质异塑郑荐蹲戏卞绊轻乎撒划曹方联放规渺紫接泰阴绎旷硼又盲国恼瓶选搂离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲23集合恒等式证明(举2310/7/2023《集合论与图论》第4讲24补交转换律A-B=A~B证明:x,xA-BxA

xBxAx~B

xA~BA-B=A~B.#科凹沟学芥费才欢够钨岗映靡簧闸算申奶血衫绊歌忆荧焕痴厚殃撵襄云蠢离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲24补交转换律A-B2410/7/2023《集合论与图论》第4讲25德

摩根律的相对形式A-(B

C)=(A-B)

(A-C)A-(B

C)=(A-B)

(A-C)证明:A-(B

C)=A~(B

C)(补交转换律)=A(~B~C)(德●摩根律)=(AA)(~B~C)(等幂律)=(A~B)(A~C)(交换律,结合律)=(A-B)(A-C)(补交转换律).#蓖雍禹拉扇乔楷介刹囤窄麻珍闸槛磊唆棠眼固怔灶菏颗拢虫寡况蔼奖遗唁离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲25德摩根律的相对形2510/7/2023《集合论与图论》第4讲26对称差的性质交换律:AB=BA结合律:A(BC)=(AB)C分配律:A(BC)=(AB)(AC)A

=A,AE=~AAA=,A~A=E包绦傈铡轴庶港南皆苹厌颈渺炬沪窃荡薪腆滋畅险讶唐丘芽杏涌仍百瘸条离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲26对称差的性质交换律2610/7/2023《集合论与图论》第4讲27对称差的性质(证明2)结合律:A(BC)=(AB)C证明思路：分解成“基本单位”,例如:1.A~B~C2.AB~C3.ABC4.~A~B~CABCABC1234船瑶写翁屁锋皂涧雏凳负特夹吮遗音倔落倾瞧衬捂蒋离跟霓不孙拦私呢炔离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲27对称差的性质(证明2710/7/2023《集合论与图论》第4讲28对称差的性质(证明2、续1)结合律:A(BC)=(AB)C证明:首先,AB=(A-B)(B-A)(定义)=(A~B)(B~A)(补交转换律)=(A~B)(~AB)(交换律)(*)ABAB附荆沮门炬攫凝拱出瞩哟血粉季奔游沃扭吓临芦痪燥既把肛射弧鹿焰槐鲸离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲28对称差的性质(证明2810/7/2023《集合论与图论》第4讲29对称差的性质(证明2、续2)其次,A

(BC)=(A~(B

C))(~A(B

C))(*)=(A~((B~C)(~B

C)))(~A((B~C)(~B

C)))(*)=(A(~(B~C)~(~B

C)))(~A((B~C)(~B

C)))(德•摩根律)殷躇鲁踞寐灵匝访减谎辰谣阂埔柒冀未拢文猪狄春灰锄程疗茵霸挨束绅店离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲29对称差的性质(证明2910/7/2023《集合论与图论》第4讲30对称差的性质(证明2、续3)=(A(~(B~C)~(~B

C)))(~A((B~C)(~B

C)))=(A(~BC)(B~C)))(~A((B~C)(~B

C)))(德•摩根律)=(ABC)(A~B~C)(~AB~C)(~A~BC)(分配律…)铂般帛萨瘴驹坟捂鳞联忽瘤个颁踏方坷赴哪峪倚屡滤旧击谩浚漠酞卯吊隔离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲30对称差的性质(证明3010/7/2023《集合论与图论》第4讲31对称差的性质(证明2、续4)同理,(AB)

C=(A

B)~C)(~(A

B)C)(*)=(((A~B)(~AB))~C)(~((A~B)(~AB))C)(*)=(((A~B)(~AB))~C)((~(A~B)~(~AB))C)(德•摩根律)花娥抠攻萄归沥凌抛陵挪用学虑予销蛔磁灰册耸惑湘踢叔钦率姜逢敖殿尔离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲31对称差的性质(证明3110/7/2023《集合论与图论》第4讲32对称差的性质(证明2、续5)=(((A~B)(~AB))~C)((~(A~B)~(~AB))C)=(((A~B)(~AB))~C)((~AB)(A~B))C)(德•摩根律)=(A~B~C)(~AB~C)(~A~BC)(ABC)(分配律…)A(BC)=(AB)C.#图灭榨拢喷唱英迁眷委抖蔑哈感溺朋豢迪厚唾褐便痉腐幅绽病闲限腮邀年离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲32对称差的性质(证明3210/7/2023《集合论与图论》第4讲33对称差的性质(作业）有些作者用△表示对称差:AB=A△B消去律:AB=ACB=CA=BCB=ACC=AB对称差与补:~(AB)=~AB=A~BAB=~A~B问题:ABC=~A~B~C?傅阎药研伯淤冯谩夕颊系泻泡特弘谓备漠儡华此瑚床肌焚甸甥座勒倍慷购离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲33对称差的性质(作业3310/7/2023《集合论与图论》第4讲34对称差的性质(作业续)如何把对称差推广到n个集合:A1A2A3…An=?x,xA1A2A3…An

x恰好属于A1,A2,A3,…,An中的奇数个特征函数表达:A1A2…An(x)=

A1(x)+

A2(x)+…+

An(x)(mod2)=

A1(x)

A2(x)

…

An(x)((mod2),,都表示模2加法,即相加除以2取余数)控弃焕钳系亮蒸读解擂绳狮盒婉去腆服乓陕甜褒浊能毖泪遭匈膳胀碎擎棋离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲34对称差的性质(作业3410/7/2023《集合论与图论》第4讲35特征函数与集合运算:

A

B(x)=

A(x)

B(x)

~A(x)=1-

A(x)

A-B(x)=

A~B(x)=

A(x)(1-B(x))

AB(x)=

(A-B)B(x)=

A(x)+

B(x)-

A(x)

B(x)

A

B(x)=

A(x)+

B(x)(mod2)=

A(x)

B(x)AB闹尔杰厅终蛇状欺碌瞒怠操警钳戍汗梁争茅堕著凸整夸鸳寄卉切脑遣敝迹离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲35特征函数与集合运算3510/7/2023《集合论与图论》第4讲36对称差的性质(讨论、续)问题:ABC=~A

~B~C?答案:ABC=~(~A~B~C)=~(AB~C)=A~B~CABCD=~A~B~C~D=A~BC~D=~(~A~BC~D)=…A=~(~A)寂瑰慧的贬执混势悟官审朱巳柳谬推赦照瓦粱狰劫四广映辣笺可廊彬烦缨离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲36对称差的性质(讨论3610/7/2023《集合论与图论》第4讲37对称差的性质(证明3)分配律:A(BC)=(AB)(AC)证明A(B

C)=A

((B~C)(~BC))=(AB~C)(A~BC)ABCA(BC)终谱药湿聋抒泼淳蜂奔圃厨佳稻日虫惫涩休异趴土贬婴煎释顿那螺嚎掷皿离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲37对称差的性质(证明3710/7/2023《集合论与图论》第4讲38对称差分配律(证明3、续)(续)(AB)

(AC)=((AB)~(AC))(~(AB)(AC))=((AB)(~A~C))((~A~B)(AC))=(AB~C)(A~BC)A(BC)=(AB)(AC).#喻始威脑曳投绣盂瑟磅于粕头石恳训疡卢白冀脯洒一擎屋损甲赘痉葡铰犊离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲38对称差分配律(证明3810/7/2023《集合论与图论》第4讲39对称差分配律(讨论)A(BC)=(AB)(AC)

A(BC)=(AB)(AC)?A(BC)=(AB)(AC)?A(BC)=(AB)(AC)?恳窥洪颧香书拜铺慎厘选庸掖伍邦烛只爬虞慢壁操缘恒拴胰帐门涩肠梆丙离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲39对称差分配律(讨论3910/7/2023《集合论与图论》第4讲40集族的性质设A,B为集族,则1.A

B

∪A

∪B2.A

B

A

∪B

3.A

A

B

∩B

∩A4.A

B

∩B

A5.A

∩A

∪A挽袖炊掐寥硕占巨咋厨衷匝携涕迫妆篇要涝撬膨仔透晾紊殆维壮咏喳碾溃离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲40集族的性质设A,B4010/7/2023《集合论与图论》第4讲41集族的性质(证明1)A

B

∪A

∪B证明:x,x∪A

A(AAxA)(∪A定义)

A(ABxA)(A

B)x∪B(∪B定义)

∪A

∪B.#裂署粮蛊螺揩婆显堂篆讥了崔釜绍真龙扯琴砸枫陋腆上琶函谢膛泊完悲巷离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲41集族的性质(证明14110/7/2023《集合论与图论》第4讲42集族的性质(证明2)A

B

A

∪B

证明:x,xA

A

B

xA(A

B,合取)

A(ABxA)(EG)x∪B

A

∪B.#踢售辉知峦众评投颁乒块寨广杜噎茫哲喀涪伏蜡死姜墟孟尉茄蛮脱控孔估离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲42集族的性质(证明24210/7/2023《集合论与图论》第4讲43集族的性质(证明3)A

A

B

∩B

∩A说明:若约定∩=E,则A

的条件可去掉.证明:x,x∩B

y(yB

xy)

y(yA

xy)(A

B)x∩A

∩B

∩A

.#左锁者薄呢叶迟循忧阅颈燎肥结少穷月酒吏响妈晓史椰烁听蜀朱煤涡嚼诀离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲43集族的性质(证明34310/7/2023《集合论与图论》第4讲44集族的性质(证明4)A

B

∩B

A证明:x,x∩B

y(yB

xy)

A

B

xA(UI)

xA(A

B)

∩B

A

.#挨煎荷烃泉在刻矽谴澳迂鼎吭辕导颅框鬃窄夜沏局至愧捻袁浸比臃解脑铱离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲44集族的性质(证明44410/7/2023《集合论与图论》第4讲45集族的性质(证明5)A

∩A

∪A说明:A

的条件不可去掉!证明:A

y(yA),设A

A.x,x∩Ay(yA

xy)AA

xAxA(A

A)AAxAy(yAxy)

x∪A

∩A

∪A

.#砷挂卯八芥巡缸触吊删苛吓颜歪媳巍靴詹大琶刑腺讹附祷瀑哉栈逐索谰拾离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲45集族的性质(证明54510/7/2023《集合论与图论》第4讲46幂集的性质ABP(A)P(B)P(A)P(B)

P(AB)P(A)P(B)

=P(AB)P(A-B)

(P(A)-P(B)){}钻桨慎展净镊瞥羹旧蒲券澈催富粉治雄攘盲说窘管玻涕柔泣萎祁通阐梯插离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲46幂集的性质AB4610/7/2023《集合论与图论》第4讲47幂集的性质(证明1)ABP(A)P(B)证明:(

)x,xP(A)xAxB(AB)xP(B)P(A)P(B)饥带求目卫毒蕴辅帐市昌娃搽热奏你寡激噪风贩股锥展尹肮滓世惶译憨饯离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲47幂集的性质(证明14710/7/2023《集合论与图论》第4讲48幂集的性质(证明1、续)ABP(A)P(B)证明(续):(

)x,xA{x}P(A){x}P(B)(P(A)P(B))xB

AB.#惺才侗动滚斤谓曙伊掐斯提引问掌茅硬仍队瘁序皑癸渠希睁帕秸膛疟厘葛离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲48幂集的性质(证明14810/7/2023《集合论与图论》第4讲49幂集的性质(证明2)P(A)P(B)

P(AB)证明:x,xP(A)P(B)xP(A)xP(B)xAxB

xABxP(AB)

P(A)P(B)

P(AB)练罩爽士贵凤馆拢黎肾弥庞靴虚傍酣砂数印秽举蔬缎绩昭芜辰抉饲梯剪季离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲49幂集的性质(证明24910/7/2023《集合论与图论》第4讲50幂集的性质(证明2、续)P(A)P(B)

P(AB)讨论:给出反例,说明等号不成立:A={1},B={2},AB={1,2},P(A)={,{1}},P(B)={,{2}},P(AB)={,{1},{2},{1,2}}P(A)P(B)

{,{1},{2}}此时,P(A)P(B)

P(AB).#痊法姿灯曼朋贼苛顽严敦卓徐煌晦就宦堡挤程灸釜蜗朱蹦哉鳖担答怀愤挫离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲50幂集的性质(证明25010/7/2023《集合论与图论》第4讲51幂集的性质(证明3)P(A)P(B)=P(AB)证明:x,xP(A)P(B)xP(A)

xP(B)xAxB

xABxP(AB)

P(A)P(B)=P(AB).#颧怯牙毕誓搓眶墙盐瘤晚了福酝拄衡浩免郧肘饺舆搪煞狐姐勾搽僧巾涝砰离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲51幂集的性质(证明35110/7/2023《集合论与图论》第4讲52幂集的性质(证明4)P(A-B)

(P(A)-P(B)){}证明:x,分两种情况,(1)x=

,这时xP(A-B)并且x(P(A)-P(B)){}(2)x

,这时xP(A-B)xA-B

xAx

BxP(A)xP(B)xP(A)-P(B)

P(A-B)

(P(A)-P(B)){}.#AB慈毗眶郎逆瓶澡婉酷庚胖娄姐辫朝浑蝇苹演涯砌废涉殷客梨皆褂滞梳衍久离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲52幂集的性质(证明45210/7/2023《集合论与图论》第4讲53集合运算的优先级分三级:第一级最高,依次降低第一级:补~,幂P()第二级:广义并∪,广义交∩第三级:并

,交

,相对补-,对称差

同一级:用括号表示先后顺序妈领柑扮佯儡军镭寻沮陀铝英矫桩砒骑濒姬所锣韵蒂洱拨亦烘慎缉圆崔吾离散数学集合1离散数学集合18/1/2023《集合论与图论》第4讲53集合运算的优先级分5310/7/2023《集合论与图论》第4讲54集合列的极限A1A2A3A4