- 1、本文档共54页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第八章 格与布尔代数 ? §8.1 引 言 ? 在第一章中我们介绍了关于集合的理论。如果将ρ(S)看做是集合S的所有子集组成的集合,于是,ρ(S)中两个集合的并 集A∪B,两个集合的交集A∩B,就可以看做是ρ(S)上的两个代数运算,因此, (ρ(S),∪,∩)可看做是一个代数,这就是通常所说的集合代数。 在集合代数中,对运算∪,∩满足: (1)?等幂律 A∩A = A, A∪A = A, (2)?交换律 A∩B = B∩A, A∪B = B∪A, (3)?结合律 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)?吸收律 A∩(A∪B) = A, A∪(A∩B) = A, 等等。 在第二章中我们介绍了命题逻辑。如果将S看做是所有命题的集合,于是,逻辑连结词∨,∧就可以看做是集合S上的两个代数运算,因此,(S,∧,∨)可看做是一个代数。这就是通常所说的命题代数。 在命题代数中,运算∧,∨也满足 (1)等幂律 A∧A = A, A∨A = A, (2)交换律 A∧B = B∧A,A∨B = B∨A, (3)结合律 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)吸收律 A∧(A∨B) = A, A∨(A∧B) = A, 等等。 如果在集合代数中引进余集ˉ的概念,在命题代数中引进否定?的概念,则在这两种代数中都有类似的所谓De Morgan定律。 即, = ∪ , = ∩ , ?(A∧B)=?A∨?B ,?(A∨B)=?A∧?B。 从代数的观点出发,我们是否能对一种更为抽象的代数系统进行研究,而这种抽象的代数系统又具有象集合代数,命题代数那样具体的代数系统所具的一些最本质的性质? 回答是肯定的,这种抽象的代数系统就是格(Lattice)和 布尔代数(Boolean Algebra) §8.2 格 的 定 义 ?定义A 给出一个部份序集(L,≤),如果对于任意a,b∈L,L的子集{a,b}在L中都有一个最大下界(记为inf{a,b})和一个最小上界(记为sup{a,b}),则称(L,≤)为一个格, 显然,一个序集是一个格,但是,不是所有部份序集都是格。 下面给了一些格的例子,这些例子在本章中要经常用到。 例8.2.1 S是任意一个集合,ρ(S)是S的幂集合,于是,部份序集(ρ(S),?)是一个格。对任意A,B?ρ(S) sup{A,B} = A∪B ?ρ(S) , inf{A,B} = A∩B ?ρ(S) 。 当S仅有一个元素时,对应的格是包含两个元素的链。 例8.2.2 设I+是所有正整数集合,D是I+中的“整除关系”,亦即,对任意a,b∈I+,aDb当且仅当a整除b,于是,(I+,D)是一个格。 不难说明,“整除关系”是部份序关系,I+中子集{a,b}的最小上界就是a,b的最小公倍,子集{a,b}的最大下界就是a,b 的最高公因。 例8.2.3 设n是一个正整数,Sn是n的所有正因数的集合。例如,S6={1,2,3,6}, S24 ={1,2,3,4,6,8,12,24}。 设D是“整除关系”,于是,(S6,D),(S8,D), (S24,D)和(S30,D)都是格. 例8.2.4 设S是所有的命题集合,定义“?”关系如下: A ? B 当且仅当 B蕴涵A。 则(S,?)是一个格。 sup{A,B} = A∧B?S, inf{A,B} = A∨B?S。 定义A′ 设(L,≤)是格,S是L的子集,即S?L,如果(S,≤)是格, 则称(S,≤)是格(L,≤)的子格。 例如,(S6,D)是(S24,D)的子格。 定义B 设L是一个集合,×,? 是L上两个二元代数运算,如果这两种运算对于L中元素满足: (1)交换律:a×b=b×a, a ? b=b ? a。 (2)结合律: a×(b×c)=(a×b)×c, a ?(b ? c)=(a ? b)?c。 (3)吸收律:a×(a ? b)=a,a ?(a×b)=a。 则称此代数系统(L,×,?)为一个格。 定义中没有要求×,?运算满足等幂律,实际上由×
您可能关注的文档
- 3氨基124三氮唑自组装膜对黄铜缓蚀作用.pdf
- 7一呻1众镌行政事韭髓务20o04萼列哩垄芋广嘛国库单一账户制.pdf
- 7月份工作总结与8月份工作计划.ppt
- 9第九章 建筑立面图绘制.ppt
- 10长期负债下—债务重组和借款费用.ppt
- 14 类定义与使用.ppt
- 16世纪中至17世纪初我国蔗糖业生产技术发展及其影响.pdf
- 21维拟线性扩散方程不变集和精确解.pdf
- 94第二次专门职业及技术人员高等暨普通考试医事人员.pdf
- 95 年公务人员普通考试各类科暂定需用名额统计表.pdf
- 2024-2025学年消防职业技能鉴定练习题附答案详解.docx
- 2024-2025学年消防职业技能鉴定练习题附参考答案详解(B卷).docx
- 2024-2025学年消防职业技能鉴定练习题附参考答案详解(培优B卷).docx
- 2024-2025学年消防职业技能鉴定练习题附参考答案详解【黄金题型】.docx
- 2024-2025学年消防职业技能鉴定练习题带答案详解(培优).docx
- 2024-2025学年消防职业技能鉴定练习题附参考答案详解(巩固).docx
- 2024-2025学年消防职业技能鉴定练习题带答案详解(A卷).docx
- 2024-2025学年消防职业技能鉴定练习题附参考答案详解【精练】.docx
- 2024-2025学年消防职业技能鉴定练习题含答案详解(精练).docx
- 2024-2025学年消防职业技能鉴定练习题带答案详解(培优A卷).docx
文档评论(0)