离散数学 08.01 格与布尔代数引言

$\color{blue}{第八章 格与布尔代数}$

$\color{blue}{\S 8.1 引言}$

$在第一章中介绍了集合的基础理论。如果将\rho(S)看作是集合S的所有子集组成的集合，\\ 于是\rho(S)中两个集合的并集A \cup B,两个集合的交集 A \cap B,就可以看做是\rho(S)上的两\\ 个代数运算，因此(\rho(S), \cup, \cap)可看作是一个代数系统，这就是通常所说的集合代数。$
$在集合代数中，对运算\cup, \cap满足:\\ (1) 等幂律 A \cap A = A, A \cup A = A; \\ (2) 交换律 A \cap B = B \cap A, A \cup B = B \cup A; \\ (3) 结合律 A \cap (B \cap C) = (A \cap B) \cap C, A \cup (B \cup C) = (A \cup B) \cup C; \\ (4) 分配律 \\ A \cap (B \cup C) = (A \cap B) \cup (A \cap C), A \cup (B \cap C) = (A \cup B) \cap (A \cup C);\\ (5)吸收律 A \cap (A \cup B) = A, A \cup (A \cap B) = A。\\ 等等。$
$在第二章中我们介绍了命题逻辑。如果将S看作是所有命题的集合，于是，逻辑联结\\ 词\lor, \land 就可以看作是集合S上的两个代数运算，因此(S, \land, \lor)可看作是一个代数。\\ 这就是通常所说的命题代数。在命题代数中，运算\forall A, B, C \in S, \land, \lor也满足$
$(1)等幂律 A \land A = A, A \lor A = A; \\ (2) 交换律 A \land B = B \land A, A \lor B = B \lor A; \\ (3)结合律 A \land (B \land C) = (A \land B) \land C, A \lor (B \lor C) = (A \lor B) \lor C; \\ (4) 分配律 \\ A \land (B \lor C) = (A \land B) \lor (A \land C), A \lor (B \land C) = (A \lor B) \land (A \lor C); \\ (5)吸收律 A \land (A \lor B) = A, A \lor (A \land B) = A; \\ 等等。$
$如果在集合代数中引进余集的概念，在命题代数中引进否定的概念，则在这两种代数\\ 中都有类似的所谓De Morgan定律。即$
$\overline{A \cap B} = \overline A \cup \overline B, \overline{A \cup B} = \overline A \cap \overline B; \\ \overline{A \land B} = \overline A \lor \overline B, \overline{A \lor B} = \overline A \land \overline B.$
$从代数的观点出发，我们是否能对一种更为抽象的代数系统进行研究，而这种\\ 抽象的代数系统又具有象集合代数，命题代数那样具体的代数系统所具有的一\\ 些最本质的性质？回答是肯定的，这种抽象的代数系统就是格(\mathbf{Lattice})和布\\ 尔代数(\mathbf{Boolean \ Algebra})$