布尔代数PDF电子书下载

目录第一章　集合代数 1

并、交与补。交换律、结合律与分配律。差与对称差。文氏图。习题Ⅰ 19

第二章　自对偶的公理系统 23

标准形式。公理系统的完备性。公理的独立性。对的一种代数。同构与同态。习题Ⅱ 50

第三章　布尔方程 54

一个双运算的公理系统。两种形式体系化的等价性。布尔方程的一般解。合同关系。公理的独立性。习题Ⅲ 78

第四章　语句逻辑 83

作为布尔代数的一个模型的语句逻辑。第三个公理系统。真值表完备性。公理的独立性。演绎定理。习题Ⅳ 100

第五章　格 103

半序集合。原子、极小与极大元素、上、下界、分配格。有补分配格。并与交理想。并理想的格。布尔代数的表示定理。一个可数的布尔代数。牛曼代数。习题Ⅴ 130

习题解答 134

参考书目 161

索引 162