问答题

计算题

设L是格,a,b,c∈L,且a≤b≤0证明
a∨b=b∧c

【参考答案】