格与布尔代数8.pptVIP

第八章 格与布尔代数 ? §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）结合律