分配格

维基百科,自由的百科全书
跳转至: 导航搜索

(L, \vee, \wedge)是一个,若对于任意的a, b, c \in L

a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)
a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)

则称L分配格

上述两个等式互为对偶式,根据的对偶原理,在证明一个格是分配格时只需证明其中任意一个等式即可。

(L, \vee, \wedge)是一个L为分配格当且仅当对于任意的a, b, c \in L,若a \vee b = a \vee ca \wedge b = a \wedge c,则b = c

参见[编辑]