格的运算性质 定理13.1设<L,≤>是格,则运算∨和∧适合交换律、结合 律、幂等律和吸收律,即 (1)交换律∨a,b∈L有 a b=bVa a∧b=b∧a (2)结合律Va,b,c∈L有 (a∨b)∨c=a∨(b∨o)(a∧b)∧c=a∧(b∧c) (3)幂等律∨a∈L有 a=a ala=a (4)吸收律∨a,b∈L有 aV(a∧b)=a a∧(a∨b)=a格的运算性质 定理13.1 设<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