第6章 格与布尔代数.ppt

Chapter 6 格与布尔代数 格论(1935)是一种重要的代数结构, 它是计算机语言的指称语义的理论基础，在计算机应用逻辑研究中有着重要作用. 布尔代数是英国数学家George Boole在1847年左右在对逻辑思维法则进行研究时提出的，后来很多数学家特别是E. V. Hungtington和E. H. Stone对布尔代数的进行了一般化研究，在1938年C. E. Shannon发表的A Symbolic Analysis of Relay and Switching Circuits 论文，为布尔代数在工艺技术 6.1 用偏序集定义的格 1.格的第一种定义 偏序集(L, ?)? Remark 偏序集(L, ?)中不是任意两个元素均存在上确界及下确界的. {c, b}, {a, d}? 6.2 用代数结构定义的格 1.格的第二种定义 Def 设(L, +, ?)是代数结构, +和?是L上的两个2元运算, 同时满足: (1)交换性. (2)结合性. (3)吸收性. 则称(L, +, ?)为格, 称这样定义的格为代数格. 由定义知, 格是具有两个2元运算的代数结构. 6.3 分配格 1.分配格(distributive lattice)的定义 有例子表明, 格不满足分配性. 例 6-9 举例说明在格(L, ?)中, 格的乘法运算“?”和格加法运算“+”相互不一定可