7格与布尔代数.ppt

原子的判定： 定理7-3.1设B,∨,∧,ˉ是布尔代数，a∈B,且a≠0,则a 是原子的充分且必要条件是 对任何y∈B，如果y≤a, 则 y=0或y=a。 证明:必要性.设a 是原子, 且对任何y∈B，有y≤a (证出 y=0或y=a), 由原子定义得 y∧a=a, 或 y∧a=0, 而由y≤a 得 y∧a=y, 所以有y=0或y=a. 充分性. 已知对任何y∈B，如果y≤a, 则y=0或y=a。(证出 a是原子, 即证出对任何x∈B 有x∧a=a, 或 x∧a=0,), 任取x∈B, 令y=x∧a , 因x∧a≤a, 所以y≤a , 由已知条 件得 y=0 或 y=a , 即有 x∧a=a, 或 x∧a=0, 所以a是原子. 定理7-3.2 设a,b是布尔代数B,∨,∧,ˉ中的原子，如果 a≠b, 则a∧b=0, (如果a∧b≠0, 则 a=b) 证明:设a和b是B中原子, (由原子定义得: 对任何x∈B 有 x∧a=a, 或 x∧a=0,) 因为a是原子，而b∈B，所以b∧a=a∧b=a，或者 b∧a=a∧b=0, 于是: 如果a∧b≠0，必有 a∧b=a 。 类似地， b是原子, 而a∈B, 所以a∧b=b, 或 a∧b=0, 此结论等价于: 如果a∧b≠0,必有 a∧b=b, 最后得 a=b. 所以得出, 如果a∧b