逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期

逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期

ID:20480655

大小:220.00 KB

页数:62页

时间:2018-10-13

逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期_第1页
逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期_第2页
逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期_第3页
逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期_第4页
逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期_第5页
资源描述:

《逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、第五章布尔代数基础逻辑与代数是计算机科学最重要的基础,布尔代数是数理逻辑早期的雏形,是一种用代数演算的方法来研究思维结构的逻辑系统,同时也为计算机的运算提供重要基础。问题:什么是逻辑呢?对逻辑来说不存在清规戒律,每个人都可以构造自己的逻辑,即他自己表达思想的语言形式,只要他愿意。但如果他想讨论这种逻辑,那么,对他的唯一要求是他必须说清楚他的方法,即给出语法和语义规则,而不是给出哲学论据。Carnap(卡尔纳普)第五章布尔代数基础本章主要介绍布尔代数的基本知识,它可以为学生今后学习计算机逻辑代数,数字逻辑,计算机组成原理,二进制运算,以及数理逻辑提供一

2、个基础。5.1集合的基本概念与基本运算由事物或对象组成的集体,无论它们是由其成员通过枚举方式直接表示出来的,还是由其成员所具有的某些本质属性表示出来的,都称为集合。称两个集合是相等的,如果构成这两个集合的成员完全相同。集合的成员也叫元素。一个集合A中元素的个数叫做集合A的基数,记为│A│。请注意,这不是基数的严格的定义。对有穷集合,这样定义基数勉强可行,但对无穷集合不恰当。有关集合基数的概念和知识将来读者会在离散数学或集合论等课程中系统地学习,目前,我们暂且使用这种不严格的直观上的定义。5.1.1从属与包含关系通常用大写英文字母作为集合的名称。若某事

3、物a是集合A的一个元素,则记为a∈A并说“a属于A”,或者说“a在A中”。若a不是集合A的元素,则记为aA当以枚举形式表示一个集合时,我们用一个大括号把这些枚举的元素括起来以表示这个集合。例1{麻雀,黄鹂,杜鹃,白鹭,红嘴鸥}是一个由五种鸟组成的集合;{a,b,c,d,…,x,y,z}是由英语的26个小写字母组成的集合。例2A={x│ax2+bx+c=0且a,b,c∈R},R是实数集。例3B={a,b,aa,ab,bb,aaa,aab,abb,bbb,aaaa,…}这种带省略的表示形式实际上可表示一些集合元素有某种出现规律的无穷集合。集合的表示应当

4、注意以下两点:(1)同一个集合中的元素是互不相同的。(2)集合中的元素之间不规定次序。与空集合相对应的一个大的集合是所谓的全集合,即一切事物构成的集合。这是一个虚构的集合,但它在布尔代数的运算中是有用的。我们用1来表示这个虚设的全集合。考虑两个集合A和B。若集合A的每一个元素也是集合B的一个元素,则称集合B包含集合A,也称集合A包含在集合B中,记为AB若AB,则称A是B的子集合,B是A的母集合。显然,对任何集合A,有AA。若集合A、B之间存在AB且A≠B,则称A是B的真子集合,记为AB。若AB,又有BA,则可以得出结论A=B。这是因为A

5、的元素都是B的元素,而B的元素也是A的元素,说明A,B中拥有相同的元素,所以A和B相同,故相等。显然,对任何集合A,A1。特别地,1。5.1.2集合的基本运算和基本关系1.集合的交与并设A、B是两个集合,定义A和B的公共元素构成的集合C为A和B的交集,简称A和B的交,记为C=A∩B;将集合A的元素和集合B的元素合并在一起,组成一个新的集合C,那么,这样得到的集合C就定义为集合A和集合B的并集,简称A和B的并,记为C=A∪B。如果从全集合1中取出部分元素构成集合A,剩下的元素构成集合B,那么,集合A与集合B就形成互补关系。我们称集合B为集合A的补

6、集合,记为A’=B。显然,也有B’=A。而且此时下列定理1的一系列等式成立。定理1设A为一个集合,B为A的补集合,则(1)A∩B=,(2)A∪B=1,(3)’=1,(4)1’=,(5)(A’)’=A,(6)(1’)’=1,(7)(’)’=。我们选择证明其中的(1),其余的证明留给读者作为练习。今后,我们也采用这种方式,将一部分证明工作留给读者。证明(1)用反证法。设A∩B≠,则必存在非空元素x∈A∩B,故x∈A且x∈B,此与B为A的补集合矛盾。所以,A∩B=。□例4设A={a,b,c,d},B={c,d,e,f},C={e,f,g,h}

7、,则A∩B={c,d},A∪B={a,b,c,d,e,f},A∩C=,A∪C={a,b,c,d,e,f,g,h}。根据定义,不难证明定理2。定理2对任意集合A和集合B,有(1)A∩B=B∩A,(交换律)(2)A∪B=B∪A,(交换律)(3)A∩A=A,(4)A∪A=A,(幂等律)(5)A∩A’=,(6)A∪A’=1,(7)A∩=,(8)A∪=A。我们选择证明其中的(2),其余的(1)、(3)-(8)大家可以自己试着去证明。证明(2)我们分两部分来证明。首先证明左边的集合是右边集合的子集合,然后再证明右边的集合是左边集合的子集合。这样,若两个

8、集合互为子集合时,必然相等。①设任意元素x∈A∪B,则x∈A或者x∈B,也可表述为x∈B或者x∈A,故A∪B

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。