《-引言-格的定义》-课件设计(公开).pptVIP

第八章 格与布尔代数 §8.1 引 言 集合代数：(ρ(S)，∪，∩) 对?A,B,C∈ρ(S)，运算∪，∩满足：? 等幂律 A∩A=A，A∪A=A， 交换律 A∩B=B∩A，A∪B=B∪A， 结合律 A∩(B∩C)=(A∩B)∩C， A∪(B∪C)=(A∪B)∪C， 分配律 A∩(B∪C)=(A∩B)∪(A∩C)， A∪(B∩C)=(A∪B)∩(A∪C)， 吸收律 A∩(A∪B)=A，A∪(A∩B)=A， 若引进余集ˉ的概念，有De Morgan定律: 命题代数(S，∧，∨) 对?A,B,C∈S，运算∧，∨满足 等幂律A∧A=A，A∨A=A， 交换律A∧B=B∧A，A∨B=B∨A 结合律A∧(B∧C)=(A∧B)∧C， A∨(B∨C)=(A∨B)∨C 分配律A∧(B∨C)=(A∧B)∨(A∧C)， A∨(B∧C)=(A∨B)∧(A∨C) 吸收律A∧(A∨B)=A，A∨(A∧B)=A， 若引进否定?的概念，有De Morgan定律: ?(A∧B )=?A∨?B, ?(A∨B )=?A∧?B, 美国数学家George David Birkhoff (1884-1944年) 1905年在哈佛大学毕业； 1907年在芝加哥大学获博士学位； 先后执教于