离散数学题:证明题

离散数学题:证明题
是格,试证明对于所有的a,b,c属于L有
(a≤b)=>(a∨(b∧c)≤b∧(a∨c))
数学人气:966 ℃时间:2019-11-07 01:22:49
优质解答
由a≤b得a∨b=b,将a∨b=b代入格不等式a∨(b∧c)≤(a∨b)∧(a∨c)中即得结论,格不等式参看任意一本离散数学书.
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版