问题标题：
离散数学题：证明题设是格,试证明对于所有的a,b,c属于L有(a≤b）=>(a∨(b∧c)≤b∧(a∨c))
问题描述：
离散数学题：证明题
设是格,试证明对于所有的a,b,c属于L有
(a≤b）=>(a∨(b∧c)≤b∧(a∨c))
刘英芝回答：
由a≤b得a∨b=b,将a∨b=b代入格不等式a∨(b∧c)≤(a∨b)∧(a∨c)中即得结论,格不等式参看任意一本离散数学书.
点击显示
数学推荐
热门数学推荐