当前位置 :
离散数学题:证明题设是格,试证明对于所有的a,b,c属于L有(a≤b)=>(a∨(b∧c)≤b∧(a∨c))
1人问答
问题描述:

离散数学题:证明题

设是格,试证明对于所有的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)中即得结论,格不等式参看任意一本离散数学书.
最新更新
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞