定理6-43 Stone表示定理)设<AV,∧,>是由 有限布尔格<A,>所诱导的一个有限布尔代数,S是布 尔格中的所有原子的集合,则<A∨,∧;>和<p(S) ∪,∩,>同构。 口证明:本定理的证明过程分三部分 (1)构造一个映射,并证明它是双射(既是入射又是满 射) (2描述代数系统<AV,∧;>和<p(S),∪,n,> 同构并证明之; (3)总结概括结论。 1010 定理6-4.3(Stone 表示定理) 设<A,∨,∧, - > 是由 有限布尔格<A, >所诱导的一个有限布尔代数， S是布 尔格中的所有原子的集合，则<A,∨,∧, ->和<(S), ∪,∩, ~>同构。  证明：本定理的证明过程分三部分 (1)构造一个映射，并证明它是双射（既是入射又是满 射）； (2)描述代数系统<A,∨,∧, ->和<(S), ∪,∩, ~> 同构并证明之； (3)总结概括结论