离散数学屈婉玲第十四章.pptVIP

* * * * * * * * * * * * * * * * * * * * * * 格的性质：算律 设L, ?是格, 则运算∨和∧适合交换律、结合律、幂等律 和吸收律, 即 (1) ?a,b∈L 有 a∨b = b∨a, a∧b = b∧a (2) ?a,b,c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) (3) ?a∈L 有 a∨a = a, a∧a = a (4) ?a,b∈L 有 a∨(a∧b) = a, a∧(a∨b) = a * 第三十一页，共五十二页，2022年，8月28日 格作为代数系统的定义 设S,?,?是具有两个二元运算的代数系统, 若对于?和?运算 适合交换律、结合律、吸收律, 则可以适当定义S中的偏序 ?, 使得 S,? 构成格, 且?a,b∈S 有 a∧b = a?b, a∨b = a?b. 格的等价定义：设S, ?, ? 是代数系统, ?和?是二元运算, 如 果?和?满足交换律、结合律和吸收律, 则S, ?,?构成格. * 第三十二页，共五十二页，2022年，8月28日 分配格、有补格与布尔代数 定义14.18 设L,∧