1楼：晓龙修理
证明：b→62616964757a686964616fe58685e5aeb931333431373337c
∵ a⊕b(a-b)∪(b-a) ①
∴(a⊕b)-c
((a-b)∪(b-a)-c) 根据①得
(a-b-c)∪(b-a-c) ②
c-(a⊕b)
c-(a-b)∪(b-a) 根据①
c-(a-b)-(b-a)
∴(a→b)∧(b→c)a→c
性质：离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系， 因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。
离散数学是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。
2楼：普海的故事
等价蕴含式：来b→源cb∨c
前提bai3: b
c则(b→c)→c ①du
前提2 乛d∨ad→a
前提1 a→(b→c)
d→(b→c) ②
zhi由①、②
dao，得到d→c
3楼：东风冷雪
这不是假言三段论吗。
离散数学问题：证明a→(b→c),乛d∨a,b重言蕴含d→c
4楼：小乐笑了
等价蕴含式：b→
cb∨c
前提3: b
c则(b→c)→c ①
前提2 乛d∨ad→a
前提1 a→(b→c)
d→(b→c) ②
由①、②，得到d→c
离散数学中的逻辑推理:a,b,a→b,b∧c→d,d→q??
5楼：恋上蜜蜂的熊
你的已知事实是不是有错误？如果是a,b,a→c,b∧c→d,d→q的话就解释的通了。
a为真，因为a推出c，所以c为真
b为真，c为真，推出b并c为真
b并c为真，因为b并c为真推出d，所以d为真因为d为真，d推出q，所以q为真
得证“，”表示“且”，即前后两个同时成立
=>表是推出，即前面成立时得到后面结论，可以理解为所以
6楼：匿名用户
这里“，”是合取的意思,=>是逻辑蕴含的意思,如a=>b意思是当a为真,则b也为真,原题要证明,a∧b∧(a→b)∧(b∧c→d)∧(d→q)=>q。即要证明当a,b,a→b,b∧c→d,d→q同时为真时,q也为真.
设a、b、c R，求证（a+b,设a、b、c∈R，求证√（a+b）+√（b+c）+√（c+a）≥√2（a+b+c）
1楼 陈 因为容易证明 a b a b 2 b c b c 2 c a c a 2 所以三个加起来，得到 a b b c c a 2 a b c 已知a b c r a b c 求证a 2 b 2 c 2 2abcosc 2bccosa 2accosb 2楼 匿名用户 a b c ，是三 角形的内角...
离散数学蕴含式证明,离散数学蕴含式证明，第二题a问题，求解！ 10
1楼 呆子丹 推出任意x 非p x q x 非p y q z p y q z 任意xp x 任意xq x 离散数学蕴含式证明，第二题a问题，求解！ 10 2楼 小乐笑了 可以用逻辑恒等式来证明 p q p q p p p q p p q p p q 离散数学蕴涵式充分和必要条件怎么判断 3楼 匿名用...
设abc属于R证明a 2+b 2-a 2+c
1楼 匿名用户 三角形，两边之差小于第三边 设点b a，b ，点c a，c ，o为原点则ob a 2 b 2 ，oc a 2 c 2 ，bc b c 当obc构成三角形时 ob oc bc，即 a 2 b 2 a 2 c 2 b c 当b c，即bc重合时 ob oc 0 bc 。 a 2 b 2 ...