问题标题：
离散数学题：证明题设是格,试证明对于所有的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)中即得结论,格不等式参看任意一本离散数学书.
查看更多
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日
