判别定理二的证明 充分性.假设模格L不是分配格,则彐ab,c∈L使得 (a入b)v(bAc)y(cA)<(Nb)∧(bc)∧(cva) u=(abv(bAcV(cAa) v=(vb)入(bvc)/(cva) x=Uv(aAv y=Wv(b∧v z=LV(C∧v 则可以证明L,vxyz构成钻石格. 注:所有的链为分配格,4元以下的格为分配格.9 充分性. 假设模格 L 不是分配格，则∃a,b,c∈L 使得 (a∧b)∨(b∧c)∨(c∧a) ≺ (a∨b)∧(b∨c)∧(c∨a) 令 u = (a∧b)∨(b∧c)∨(c∧a) v = (a∨b)∧(b∨c)∧(c∨a) x = u∨(a∧v) y = u∨(b∧v) z = u∨(c∧v) 则可以证明 u, v, x, y, z 构成钻石格. 注：所有的链为分配格，4 元以下的格为分配格. 判别定理二的证明 u v x y z