《布尔代数》求取 ⇩

目录第一章　集合代数1

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

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

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

第三章　布尔方程54

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

第四章　语句逻辑83

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

第五章　格103

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

习题解答134

参考书目161

索引162