目录第一章 集合代数 1
并、交与补。交换律、结合律与分配律。差与对称差。文氏图。习题Ⅰ 19
第二章 自对偶的公理系统 23
标准形式。公理系统的完备性。公理的独立性。对的一种代数。同构与同态。习题Ⅱ 50
第三章 布尔方程 54
一个双运算的公理系统。两种形式体系化的等价性。布尔方程的一般解。合同关系。公理的独立性。习题Ⅲ 78
第四章 语句逻辑 83
作为布尔代数的一个模型的语句逻辑。第三个公理系统。真值表完备性。公理的独立性。演绎定理。习题Ⅳ 100
第五章 格 103
半序集合。原子、极小与极大元素、上、下界、分配格。有补分配格。并与交理想。并理想的格。布尔代数的表示定理。一个可数的布尔代数。牛曼代数。习题Ⅴ 130
习题解答 134
参考书目 161
索引 162