离散数学题：证明题
设是格,试证明对于所有的a,b,c属于L有
(a≤b）=>(a∨(b∧c)≤b∧(a∨c))
人气：262 ℃ 时间：2019-11-07 01:22:49
解答
由a≤b得a∨b=b,将a∨b=b代入格不等式a∨(b∧c)≤(a∨b)∧(a∨c)中即得结论,格不等式参看任意一本离散数学书.
推荐
- 离散数学证明题
- 设（A,≤）是偏序集,定义函数f:A→P(A) 如下：
- 一道离散数学证明题
- 如果m+n和n+p都是偶数,其中m,n和p都是整数,那么m+p也是偶数
- 树的证明题
- 一条公路,原计划每天修50米,12天修完,实际上10天完成任务.
- 用英语写介绍深圳的一封信
- 西蜀之去南海,不知几千里也,僧富者不能至而贫者至蔫.中的“也”是判断句吗
猜你喜欢
- 包装一份礼物需要五分之三米的彩带,照这样计算,包装12份这样的礼物需要彩带多少米?
- 用氢气做能源有哪些弊端
- 已知函数f（x）=2x/1−x，判断函数y=f（ax）（a＜0）的单调性，并用函数单调性定义加以证明．
- 老师让写读书笔记,怎么写?
- 我爱的少年有全世界最好看的背影.用英语怎么说
- 把一个棱长5cm的正方体铁块浇铸成一个圆锥,这个圆锥的底面积是75平方cm,高是多少,用比例解,急
- 已知a+b=3,ab=-12
- 9.等比数列{an}中,a1=4,a5=36,则a3等于?
