离散数学证明题:链为分配格

离散数学证明题:链为分配格
有高手懂离散的么``帮我做下这个证明题好吗``
谢谢啦``就运用格那部分的知识``拜托了啊```
有会的高手在没````

证明设a,b均是链A的元素,因为链中任意两个元素均可比较,即有a≤b或a≤b,如果a≤b,则a,b的最大下界是a,最小上界是b,如果b≤a,则a,b的最大下界是b,最小上界是a,故链一定是格,下面证明分配律成立即可,对A中任意元素a,b,c分下面两种情况讨论:
⑴b≤a或c≤a
⑵a≤b且a≤c
如果是第⑴种情况,则a∪(b∩c)=a=(a∪b)∩(a∪c)
如果是第⑵种情况,则a∪(b∩c)=b∩c=(a∪b)∩(a∪c)
无论那种情况分配律均成立,故A是分配格.

参考资料:离散数学教程,刘长安,西工大出版社P232

温馨提示:内容为网友见解,仅供参考
无其他回答

离散数学证明题:链为分配格
证明设a,b均是链A的元素,因为链中任意两个元素均可比较,即有a≤b或a≤b,如果a≤b,则a,b的最大下界是a,最小上界是b,如果b≤a,则a,b的最大下界是b,最小上界是a,故链一定是格,下面证明分配律成立即可,对A中任意元素a,b,c分下面两种情况讨论:⑴b≤a或c≤a ⑵a≤b且a≤c 如...

离散数学,求证明:任何一个线性序集(L,≤)都是一个分配格。谢谢~
任取a,b,c∈L,显然由于L为线序集,a,b,c必然两两可比。不妨设a≤b≤c,则 a∪(b∩c)=a∪b=b,(a∪b)∩(a∪c)=b∩c=b。b∪(a∩c)=b∪a=b,(b∪a)∩(b∪c)=b∩c=b。c∪(a∩b)=c∪a=c,(c∪a)∩(c∪b)=c∩c=c。这样就证明了∪对∩的分...

求证明一大学离散数学题
A最多可从4个方向约束BCD,即4a>a+b+c B最多可从3个方向约束CD(自身1个方向受A约束),即3b>c+d C最多可从2个方向约束D(自身2个方向受AB约束),即2c>d 依题意,ABCD四种元素的组合方式如下:●看含一个各种元素,不完备的最小单元:①□A□ 占用1个格,均值为:1\/1;②□AB□...

离散数学题:简述模格和分配格的关系?
1.模格与分配格的关系是() (1) 模格不一定是分配格; (2) 模格一定不是分配格; (3) 模格一定是分配格;(4) 没关系. 12.设P:我将去学校,Q:我有自行车。命题“我将去学校,当且仅..

离散数学中 7元素分配格怎么画~
如图所示。7元素分配各,手工画的。。

离散数学谢谢
⇔(p∧¬q)∨(¬q∨r) 德摩根定律 ⇔(p∧¬q)∨¬q∨r 结合律 ⇔¬q∨r 合取析取 吸收率 ⇔(¬p∧p)∨¬q∨r 补项 ⇔(¬p∨¬q∨r)∧(p∨¬q∨r) 分配律2 得到主合取范式,再检查遗漏的极...

离散数学中有补分配格里面的补元是不是就前面群里学过的逆元?_百度知...
群里只有一个运算:加或乘。离散数学中有3个运算:交、并、补。要与群类比,需指定一个。

西交《离散数学》在线作业 答案
N是自然数集,≤是小于等于关系,则(N,≤)是( 分配格 )对意集合A、B、C,下述论断正确的是( )5. 设集合A中有4个元素,则A上的不同的等价关系的个数为( 15 个)。6. 答案:自反的、反对称的、传递的 7. 在代数系统中,整环和域的关系为(域一定是整环 )西交《离散数学》在线作业 西...

离散数学期末复习知识点总结
格 格与子格的定义,分配格和有补格的概念。布尔代数的定义和诱导过程。图论 无向图的度数、连通图的概念,路、通路和圈。强连通图、连通分支的定义。点割集、割点、边割集、割边的概念。邻接矩阵、可达矩阵、关联矩阵和Warshall法。欧拉图、欧拉路径和回路的定义。汉密尔顿图的概念,汉密尔顿路径和...

高等学校计算机系列规划教材·离散数学目录
偏序集、格和格代数:定义偏序集、格及其代数系统之间的关系。有补格和分配格:介绍有补格和分配格的概念。布尔代数:阐述布尔代数的概念及其应用。布尔表达式:解释布尔表达式的表示方法和极小化过程。本文综述了高等计算机系列规划教材中的离散数学目录,涵盖了一系列核心领域的概览,旨在为学习者提供一个...

相似回答