第1章_1-2节-逻辑符号_集合及其运算

1、1离散数学主讲教师：易静主讲教师：易静教材： 离散数学（第2版） 屈婉玲、耿素云、张立昂 主编 清华大学出版社, 2008.2教学参考书： 离散数学习题解答与学习指导（第2版） 屈婉玲、耿素云、张立昂 主编 清华大学出版社，2008.2教材与教学参考书 离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程，为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域，而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。 离散数学的内容十分丰富，最重要，最核心的是：数理逻辑、集合论、图论、组合计数理论和代数系统。 本课程将

2、围绕这五个部分相关知识展开介绍。n数理逻辑：是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。 本课程在第二，三两章中介绍数理逻辑中的命题逻辑和一阶谓词逻辑的内容。实例一：聪明助手问题著名物理学家爱因斯坦爱因斯坦出过如下一道题： 一个土耳其商人，想找一个十分聪明的助手协助他经商，有两个人前来应聘。这个商人为了试一试哪一个聪明些，就把两个人带进一间漆黑的屋子里，他打开电灯后说：“

3、这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的。现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在头上，在我开灯后，请你们尽快地说出自己头上戴的帽子是什么颜色的。”说完之后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来接着把电灯打开，这时那两个应试者看到商人头上戴的是一顶红帽子，过了一会儿，其中一个人便喊到：“我戴的是黑帽子。” 请问这个人猜得对吗？是怎么推导出来的？答案：答案：“猜对的人戴着黑帽子猜对的人戴着黑帽子”是真的，所以猜对的人肯定的是真的，所以猜对的人肯定的说：说：“我戴的是黑帽子我戴的是黑帽子”。 现代数学中，每个对象

4、(如数，函数等)本质上都是集合，都可以用某种集合来定义，数学的各个分支，本质上都是在研究某一种对象集合的性质。集合论的特点是研究对象的广泛性，它也是计算机科学与工程的基础理论和表达工具，而且在程序设计，数据结构，形式语言，关系数据库，操作系统等都有重要应用。 本课程在第四，五章中介绍集合论中的关系和函数部分的内容。,G Cantorn集合论：是研究集合一般性质的数学分支，它的创始人是康托尔(，18451918)。在实例二：理发师悖论（Paradox） 在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对

5、各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。 这与由著名数学家伯特兰罗素（Russel，18721970）提出的罗素悖论问题相似： 把所有集合分为2类，第一类中的集合以其自身为元素，第二类中的集合不以自身为元素，假令第一类集合所组成的集合为P，第二类所组成的集合为Q，于是有P=AAA，Q=AAA，问，QP 还是 QQ？n图论：是

6、一个古老的数学分支，它起源于游戏难题的研究。图论的内容十分丰富，应用得相当广泛，许多学科，诸如运筹学、信息论、控制论、网络理论、博弈论、化学、生物学、物理学、社会科学、语言学、计算机科学等，都以图作为工具来解决实际问题和理论问题。随着计算机科学的发展，图论在以上各学科中的作用越来越大，同时图论本身也得到了充分的发展。 本课程在第六，七两章中介绍与计算机科学关系密切的图论的内容。 近代图论的历史可追溯到18世纪的七桥问题穿过Knigsberg城的七座桥，要求每座桥通过一次且仅通过一次。Euler1736年证明了不可能存在这样的路线。实例三：哥尼斯堡七桥问题Euler 定理如果一个图包含一条经过每

7、条边恰好一次的闭途径，则称这个图为欧拉图。对任意的非空连通图，若它是欧拉的, 当且仅当它没有奇度点。n组合计数理论：是一个研究离散结构的存在、计数、分析和优化等问题的数学分支。上世纪60年代以来，随着计算机的诞生，组合计数理论得到了迅速发展， “为上世纪计算机革命奠定了基础”，计算机之所以被称之为电脑，就是因为计算机被人编写了程序，而程序就是算法。算法运行效率和存储需求分析需要大量的组合计数思想，正是因为有了组合算法，才使人感到计算机好像是有思维的。 本课程在第八，九和十三章中介绍组合计数理论中的组合计数基础、容斥原理和递推方程与生成函数等内容。 我国古代的河洛图(幻方)问题传说在公元前23世

8、纪大禹治水的时候，在黄河支流洛水中，浮现出一个 大乌龟，甲上背有9种花点的图案，人们将图案中的花点数了一下，竞惊奇地发现9种花点数正巧是19这9个数，各数位置的排列也相当奇妙，横的3行、纵的3列以及两对角线上各自的数字之和都为15。上图为三阶洛书上图为三阶洛书实例三：幻方问题组合数学中有许多象幻方这样精巧的结构。1977年美国旅行者1号、2号宇宙飞船就带上了幻方以作为人类智慧的信号。神 农 幻 方4923578162200BC 1 15 14 412 6 7 9 8 10 11 513 3 2 16 15世纪 阶 幻 方阿基米德手稿上图为一份用希腊文写在羊皮纸上的阿基米德手稿副本, 最近科学家

9、借助现代科技手段初步破译了古希腊数学家阿基米德的这篇论文, 结论是这篇被称作Stomachion的论文解决的是组合数学问题。 实例四：Tiling（阿基米德手稿）问题在论文中阿基米德是在计算把14条不规则的纸带拼成正方形一共能有多少种不同的拼法？ 现在称为Tiling问题n当今数学家借助计算机得出的答案是17152种拼法，这在当时是相当困难的。 Periodic Tilings Non-Periodic TilingsPenrose Tilings Symmetric Tilings Symmetric Tilings 模式: 对任意一个排列 , 最小的元素用代替，次小的元素用代替以此类推，这

10、样得到的排列叫的模式。例如914的模式为：31237925 的模式为： 24513实例五：栈排序问题(Knuth, 1960s)栈排序问题(Knuth, 1960s)避免排列：一个排列是避免的，当且仅当它的任意子序列中没有模式。例如 132564是避免 312的排列 146235是包含312的排列栈排序问题(Knuth, 1960s)87654321避免312排列n代数系统：这部分内容属于近世代数的范畴，近世代数是研究具有运算的集合，它第一次揭示了数学系统的多变性与丰富性。代数结构理论可用于计算机算法的复杂性分析，研究抽象数据结构的性质及操作，同时也是程序设计语言的理论基础。 本课程教材在第十

11、一至十四章中介绍代数系统有关内容。 20世纪20年代，由Karinthy提出。1950年， Pool 和 Kochen提出这样一个问题：“两个毫无关系的人，要让他们互相认识，至少要经过多少人？”美国哈佛大学社会心理学家S. Milgram在1967年做过一项有趣的实验，据说他从内布拉斯加州的奥马哈随机选了300人，然后请他们每个人尝试寄一封信到波士顿的一位证券业务员。寄信的规则很简单，就是任何收信者只能把信寄给自己熟识的人。 实例五：无尺度网络问题相关重要结论“6度分离” 对每个人来说，平均大约只需要通过个人就能将信寄到目的地。研究无尺度网络及其结构，对于防备黑客攻击、防治流行病、和开发新药等

12、，都具有重要的意义。在1999年，Barabasi et al.发现在因特网上，任意两个网页间的链接最多为19次。(Nature 401, 1999)无尺度网络的一个例子因特网是一个无尺度网络，左图的星爆形结构描绘了从某一测试站点到其他约十万个站点的最短连结路径。图中以相同的颜色来表示相类似的站点。第1章 数学语言与证明方法本章主要内容1.1 常用数学符号常用数学符号 集合符号、运算符号、集合符号、运算符号、逻辑符号逻辑符号1.2 集合及其运算集合及其运算1.3 证明方法概述证明方法概述251.1 逻辑符号26关键知识点：关键知识点： 命题与真值命题与真值联结词联结词(, , , ,)命题公式

13、命题公式(重言式重言式,矛盾式矛盾式,可满足式可满足式)重要等值式重要等值式重要推理规则重要推理规则个体个体,个体域与谓词个体域与谓词全称量词与存在量词全称量词与存在量词命题与真值命题命题:具有确定真值的表达判断的陈述句具有确定真值的表达判断的陈述句, 通常用通常用p,q,r等等表示（表示（即命题符号化即命题符号化）命题的真值命题的真值:作为命题所表达的判断只有两个结果：正确作为命题所表达的判断只有两个结果：正确和错误，此结果称为命题的真值。和错误，此结果称为命题的真值。命题是正确的，称此命题的真值为真；命题是错误的，称此命题的真值为假。在数理逻辑中，命题的真值的真和假，有时分别用1和0来表达

14、，也有时分别用T(True)和F(False)来表达。（即真值的符号化即真值的符号化）真命题真命题:真值为真的命题真值为真的命题假命题假命题:真值为假的命题真值为假的命题例如例如, p:2+2=4, q:3是偶数是偶数它们都是命题它们都是命题, p是真命题是真命题, q是假命题是假命题.27联结词l否定联结词否定联结词 否定式否定式 p: 非非p (p的否定的否定) p 为真当且仅当为真当且仅当p为假为假l合取联结词合取联结词 合取式合取式p q:p并且并且q (p与与q) p q为真当且仅当为真当且仅当p与与q同时为真同时为真l析取联结词析取联结词 析取式析取式p q: p或或q p q为假

15、当且仅当为假当且仅当p与与q同时为假同时为假28联结词(续)29 排斥或联结词排斥或联结词 排斥或排斥或p q: p并且非并且非q, 或者或者q并且非并且非p p q为真当且仅当为真当且仅当p与与q中一个为真中一个为真,另一个为假另一个为假蕴涵联结词蕴涵联结词 蕴涵式蕴涵式pq:如果如果p,则则q pq为假当且仅当为假当且仅当 p 为真为真 q 为假为假 等价联结词等价联结词 等价式等价式pq:p当且仅当当且仅当q pq为真当且仅当为真当且仅当p与与q同时为真或同时为假同时为真或同时为假实例 设设p:2是偶数是偶数, q:1+1=3, 则则30p的真值为的真值为 1q的真值为的真值为p的真值为

16、的真值为q的真值为的真值为p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为 p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为p q的真值为的真值为0010110111001 p q的真值为的真值为 p q的真值为的真值为00实例(续) pq的真值为的真值为31pq的真值为的真值为pq的真值为的真值为pq的真值为的真值为0111又设又设 r:今天是星期一今天是星期一, s:明天是星期二明天是星期二, t:明天是星期三明天是星期三rs的真值为的真值为rt的真值为的真值为1不定不定命题公式命题变项命

17、题变项:取值为取值为0或或1的变元的变元, 也用也用p,q,r等表示等表示.命题公式命题公式:用联结词和圆括号把命题和命题变项按照一定用联结词和圆括号把命题和命题变项按照一定规则连接起来的符号串规则连接起来的符号串, 常用常用A,B,C等表示等表示.例如例如, A=( p q)(r p)公式的赋值公式的赋值:对公式中每一个命题变项给定一个值对公式中每一个命题变项给定一个值(0或或1).公式的公式的成真赋值成真赋值:使公式为真的赋值使公式为真的赋值.公式的公式的成假赋值成假赋值:使公式为假的赋值使公式为假的赋值.例如例如, p=1,q=1,r=1是是A的成真赋值的成真赋值, p=0,q=1,r=

18、0是是A的成假赋值的成假赋值.32重言式,矛盾式与可满足式重言式重言式( (永真式永真式) ): :无成假赋值的命题公式无成假赋值的命题公式矛盾式矛盾式( (永假式永假式) ): :无成真赋值的命题公式无成真赋值的命题公式可满足式可满足式: :不是矛盾式的命题公式不是矛盾式的命题公式例如例如, , A= ( p q)(r p)是可满足式是可满足式, 但不是重言式但不是重言式, B= (p q) ( p q) (pq) ( pq)是重言式是重言式, C= p (p q) (pq)是矛盾式是矛盾式. .AB: :蕴涵式蕴涵式AB B是重言式的简记是重言式的简记. .AB:等价式等价式AB是重言式的

19、简记，是重言式的简记， 称称A与与B等值等值，AB是是等值式等值式. . 33基本等值式（16组）双重否定律双重否定律 AA幂等律幂等律 A AA, A AA交换律交换律 A BB A, A BB A结合律结合律 (A B) CA (B C) (A B) CA (B C)分配律分配律 A (B C)(A B) (A C) A (B C) (A B) (A C)德德摩根律摩根律 (A B)AB (A B)AB34基本等值式(续)吸收律吸收律 A (A B)A, A (A B)A零律零律 A 11, A 00 同一律同一律 A 0A, A 1A排中律排中律 AA1矛盾律矛盾律 AA0蕴涵等值式蕴涵

20、等值式 AB A B等价等值式等价等值式 AB(AB) (BA)假言易位等值式假言易位等值式 AB B A等价否定等值式等价否定等值式 AB A B归谬论归谬论 (AB) (AB) A35重要推理规则(推理定律，9组)附加律附加律 A (A B) 化简律化简律 (A B) A假言推理假言推理 (AB) A B拒取式拒取式 (AB)B A析取三段论析取三段论 (A B)B A假言三段论假言三段论 (AB) (BC) (AC)等价三段论等价三段论 (AB) (BC) (AC)构造性二难构造性二难 (AB) (CD) (A C) (B D) 破坏性二难破坏性二难 (AB) (CD) ( BD) (

21、AC) 36谓词与量词个体域个体域:被研究对象的全体被研究对象的全体, 如自然数集如自然数集, 人类等人类等.个体词个体词:个体域中的一个元素个体域中的一个元素.全称量词全称量词 : 表示任意的表示任意的, 所有的所有的, 一切的等一切的等.存在量词存在量词 : 表示存在表示存在, 有的有的, 至少有一个等至少有一个等.谓词谓词: 表示个体词性质或相互之间关系的词表示个体词性质或相互之间关系的词例如例如, 谓词谓词P(x)表示表示x具有性质具有性质P x P(x) 表示个体域中所有的表示个体域中所有的x具有性质具有性质P x P(x) 表示个体域中存在表示个体域中存在x具有性质具有性质P371

22、.2 集合及其运算关键知识点：关键知识点：集合及其表示法集合及其表示法包含包含(子集子集)与相等与相等空集与全集空集与全集集合运算集合运算( , , - , , )基本集合恒等式基本集合恒等式包含与相等的证明方法包含与相等的证明方法38集合的概念u朴素集合论朴素集合论(Naive Set Theory)：德国数学家：德国数学家康托尔康托尔(G.Cantor)最早创立的第一个集合论。在最早创立的第一个集合论。在朴素集合论朴素集合论中，集合是被当做中，集合是被当做一堆物件构成的整体之类的自证概念。一堆物件构成的整体之类的自证概念。u罗素罗素(Russell)悖论（悖论（Paradox）：把所有集合

23、分为：把所有集合分为2类，第一类，第一类中的集合以其自身为元素，第二类中的集合不以自身为元类中的集合以其自身为元素，第二类中的集合不以自身为元素，假令第一类集合所组成的集合为素，假令第一类集合所组成的集合为P，第二类所组成的集，第二类所组成的集合为合为Q，于是有，于是有P=A AA，Q=A A A，问，问，QP 还是还是 QQ？这就是著名的这就是著名的“罗素悖论罗素悖论”，著名的，著名的“理发师悖论理发师悖论”即为其一种即为其一种通俗表达方式。通俗表达方式。u公理集合论（数理逻辑范畴）公理集合论（数理逻辑范畴）：是一个严谨的公理化数学分：是一个严谨的公理化数学分支，是因为发现了朴素集合论中的一

24、些严重缺陷（如支，是因为发现了朴素集合论中的一些严重缺陷（如罗素悖罗素悖论论）后由德国数学家）后由德国数学家策梅罗（策梅罗（ Zermelo ）提出并）提出并发展起来发展起来的。在的。在公理化集合论公理化集合论中，集合和集合成员并不直接被定义，中，集合和集合成员并不直接被定义，而是先规范可以描述其性质的一些而是先规范可以描述其性质的一些公理公理，目的是消除悖论，目的是消除悖论。39集合的概念（续）集合集合是数学中最基本的概念是数学中最基本的概念,没有严格的定义没有严格的定义 理解成某些个体组成的整体理解成某些个体组成的整体, 常用常用A,B,C等表示等表示元素元素:集合中的个体集合中的个体x

25、A(x属于属于A): x是是A的元素的元素 x A(x不不属于属于A): x不不是是A的元素的元素无穷集无穷集:元素个数无限的集合元素个数无限的集合有穷集有穷集(有限集有限集):元素个数有限的集合元素个数有限的集合. |A|:A中元素个数中元素个数k元集元集:k个元素的集合个元素的集合, k 040集合的表示法列举法列举法 如如 A= a, b, c, d , N=0,1,2,描述法描述法 x | P(x) 如如N= x | x是自然数是自然数 说明说明: (1) 集合中的元素各不相同集合中的元素各不相同. 如如, 1,2,3=1,1,2,3(2) 集合中的元素没有次序集合中的元素没有次序.

26、如如, 1,2,3=3,1,2=1,3,1,2,2(3) 有时两种方法都适用有时两种方法都适用, 可根据需要选用可根据需要选用.常用集合常用集合 自然数集自然数集N, 整数集整数集Z, 正整数集正整数集Z+, 有理数集有理数集Q, 非零有理数集非零有理数集Q*, 实数集实数集R, 非零实数集非零实数集R*, 复数集复数集C, 区间区间a,b,(a,b)等等41包含与相等包含包含(子集子集) A B x (x A x B)不包含不包含 A B x (x A x B) 相等相等 A = B A B B A不相等不相等 A B A B B A真包含真包含(真子集真子集) A B A B A B 例如

27、例如, A=1,2,3, B= x | x R |x| 1 , C= x | x R x2=1 , D=-1,1, C B, C B, C A, A B, B A, C = D性质性质 (1) A A (2) A B B C A C42空集与全集空集空集: 不含任何元素的集合不含任何元素的集合例如例如, x | x20 x R=定理定理1.1 空集是任何集合的子集空集是任何集合的子集证证 用归谬法用归谬法. 假设不然假设不然, 则存在集合则存在集合A, 使得使得 A, 即存在即存在x, x且且x A, 矛盾矛盾. 推论推论 空集是惟一的空集是惟一的.证证 假设存在假设存在1和和2，则，则12

28、且且12，因此，因此1=2全集全集E:限定所讨论的集合都是限定所讨论的集合都是E的子集的子集. 相对性相对性 43幂集幂集幂集P(A):A的所有子集组成的集合的所有子集组成的集合, 即即 P(A) = x | x A 例如例如, 设设A=a,b,c A的的0元子集元子集: A的的1元子集元子集: a, b, c A的的2元子集元子集:a,b,a,c,b,c A的的3元子集元子集: a,b,c P(A) =, a, b, c, a,b. a,c, b,c, a,b,c44nnnnnnCCCAP2)11(| )(|10定理定理1.2 如果如果 |A| = n，则则 |P(A)| = 2n 证证集合

29、运算并并 A B = x | x A x B 交交 A B = x | x A x B 相对补相对补 A B = x | x A x B 对称差对称差 A B = (A B) (B A) = (A B) (A B) 绝对补绝对补 A = E A= x | x A 例如例如 设设E=0,1, ,9, A=0,1,2,3, B=1,3,5,7,9, 则则 A B =0,1,2,3,5,7,9, A B =1,3, A B =0,2, A B =0,2,5,7,9, A =4,5,6,7,8,9, B =0,2,4,6,8说明说明:1. 只使用圆括号只使用圆括号2. 运算顺序运算顺序: 优先级别为优

30、先级别为(1)括号括号, (2) 和幂集和幂集, (3)其他其他.同级别的按从左到右运算同级别的按从左到右运算45实例例例1 设设E= x | x是北京某大学学生是北京某大学学生, A,B,C,D是是E的子集的子集,A= x | x是北京人是北京人, B= x | x是走读生是走读生,C= x | x是数学系学生是数学系学生, D= x | x是喜欢听音乐的学生是喜欢听音乐的学生.试描述下列各集合中学生的特征试描述下列各集合中学生的特征:46(A D) C= A B=(A-B) D= D B= x | x是北京人或喜欢听音乐是北京人或喜欢听音乐, 但不是数学系学生但不是数学系学生 x | x是

31、外地走读生是外地走读生 x | x是北京住校生是北京住校生, 并且喜欢听音乐并且喜欢听音乐 x | x是不喜欢听音乐的住校生是不喜欢听音乐的住校生文氏图表示47集合运算(续)48并和交运算可以推广到有穷个集合上并和交运算可以推广到有穷个集合上 A1 A2 An= x | x A1 x A2 x An A1 A2 An= x | x A1 x A2 x An并和交运算还可以推广到可数无穷个集合上并和交运算还可以推广到可数无穷个集合上 A1 A2 = x | i (i=1,2,) x Ai A1 A2 = x | i (i=1,2,) x Ai niiA1niiA11iiA1iiA实例例例2 设设

32、Ai=0, 1/i ), Bi=(0, i ), i=1,2, , 则则49niiA11iiAniiA11iiAniiB11iiBnii1B1iiB0, 1)0, 1)0, 1/n ) 0 (0, n)(0, +)(0, 1)(0, 1)基本集合恒等式1. 幂等律幂等律A A=A, A A=A2. 交换律交换律A B=B A, A B=B A3. 结合律结合律(A B) C=A (B C) (A B) C=A (B C)4. 分配律分配律A (B C)=(A B) (A C) A (B C)=(A B) (A C)5. 德摩根律德摩根律 绝对形式绝对形式 (B C)= BC, (B C)= B

33、C 相对形式相对形式 A (B C)=(A B) (A C) A (B C)=(A B) (A C)50基本集合恒等式(续)6. 吸收律吸收律 A (A B)=A, A (A B)=A7. 零律零律 A E=E, A=8. 同一律同一律 A=A,A E=A9. 排中律排中律 AA=E10. 矛盾律矛盾律 AA=11. 余补律余补律 =E, E=12. 双重否定律双重否定律 A=A13. 补交转换律补交转换律 A-B= AB51基本集合恒等式(续)14. 关于对称差的恒等式关于对称差的恒等式 (1) 交换律交换律 A B=B A (2) 结合律结合律 (A B) C=A (B C) (3) 对对

34、 的分配律的分配律 A (B C)=(A B) (A C) (4) A=A, A E= A (5) A A=, A A= E52注意注意: 对对 没有分配律没有分配律, 反例如下反例如下 A=a,b,c, B=b,c,d, C=c,d,e A (B C)= a,b,c b,e= a,b,c,e (A B) (A C)= a,b,c,d a,b,c,d,e= e, 两者不等两者不等证明集合包含或相等方法一方法一. 根据定义根据定义, 通过逻辑等值演算证明通过逻辑等值演算证明方法二方法二. 利用已知集合等式或包含式利用已知集合等式或包含式, 通过集合演算证明通过集合演算证明例例3 证明证明:(1)

35、 A B=B A (交换交换律律)证证 x x A B x A x B (并的定义并的定义) x B x A (逻辑演算的交换律逻辑演算的交换律) x B A (并的定义并的定义)53例3(续)(2) A (B C)=(A B) (A C) (分配律分配律)证证 x x A (B C) x A (x B x C) (并并,交的定义交的定义) (x A x B) (x A x C) (逻辑演算的分配律逻辑演算的分配律) x (A B) (A C) (并并,交的定义交的定义)(3) A E=E (零律零律)证证 x x A E x A x E (并的定义并的定义) x A 1 (全集全集E的定义的定义) 1