第八章格与布尔代数
§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,∧,∨)可看作是一个代数。这就是通常所说的命题代数。在命题代数中,运算∀A,B,C∈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;等等。
如果在集合代数中引进余集的概念,在命题代数中引进否定的概念,则在这两种代数中都有类似的所谓DeMorgan定律。即
A∩B ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =A ¯ ¯ ¯ ∪B ¯ ¯ ¯ ,A∪B ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =A ¯ ¯ ¯ ∩B ¯ ¯ ¯ ;A∧B ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =A ¯ ¯ ¯ ∨B ¯ ¯ ¯ ,A∨B ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =A ¯ ¯ ¯ ∧B ¯ ¯ ¯ .
从代数的观点出发,我们是否能对一种更为抽象的代数系统进行研究,而这种抽象的代数系统又具有象集合代数,命题代数那样具体的代数系统所具有的一些最本质的性质?回答是肯定的,这种抽象的代数系统就是格(Lattice)和布尔代数(Boolean Algebra)