离散数学题:证明题
设是格,试证明对于所有的a,b,c属于L有
(a≤b)=>(a∨(b∧c)≤b∧(a∨c))
人气:208 ℃ 时间: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也是偶数
- 树的证明题
- Which is much___(far) from the earth,the sun or the moon?
- 给定椭圆x2/b2+y2/a2=1(a>B>0),求与这个椭圆有公共焦点的双曲线,使得以他们的交点为顶点的四边形面积最大,并求相应四边形的顶点坐标,
- 一条直线平行与直线3X-4Y-20=0,并且和他相距3个单位,求这条直线的方程
猜你喜欢