离散数学有几道证明题。望高手解答！

离散数学 第二部分第一大题 问题和答案我都有 我想知道问题的意思还有答案的解析~

这是求整除关系，哈斯图的题目吧。
先把关系集合写出来，再画图：

题目的意思：
ADU-ball就是将任何大于或等于60的整数n，
都可以分解为若干个11、7的和（这是你要证明的）
即n=11x+7y

例如，60=11×1+7×7

证明和推理过程，第二张图片以及很详细了，就不赘述了

　　1. 首先将命题符号化，个体域为全总个体域。记
　　p(x)：x 是斑马；q(x)：x 有条纹；a：马克。
　　前提：Ax(p(x)→q(x))；p(a)；
　　结论：q(a)
　　证明：
　　① Ax(p(x)→q(x)) 前提引入
　　② p(a)→q(a) ① UI规则
　　③ p(a) 前提引入
　　④ q(a) ②③假言推理
故得证。
　　

　　2. 首先将命题符号化，记
　　p：地球是平的；q：你就能行驶到地球边缘；
　　前提：p→q，┐q
　　结论：┐p；
　　证明：
　　① p→q 前提引入
　　② ┐p∨q ①置换
　　③ ┐q 前提引入
　　④ ┐p ② ③析取三段论
得证。

　　注：以上说法均来自屈婉玲的《离散数学》。

相关视频

离散数学作业求大家帮忙
故deg(u)+deg(v)>=n-1,则该图存在一个哈密顿路（参看任意一本离散数学书,如西北工业大学出版社出版刘长安编著《离散数学教程》P267）.再证明当n>=4时,该图存在一个哈密顿回路.下面需证明对任意两个结点u,v有deg(u)+deg(v)>=n,仍分下面两种情况讨论：1）如果u,v邻接,此时deg(u)+deg(...

离散数学CP规则证明题
2题 （1）P cp规则 （2）¬P∨Q （3）Q （4）¬Q∨R （5）R （6）R→S （...

离散数学证明
(1)p^q 前提引入 (2)p (1)化简 (3)q (1)化简 (4)¬pvr 前提引入 (5)r (2)(4)析取三段论 (6)¬qvs 前提引入 (7)s (3)(6)析取三段论 (8)r^s (5)(7)合取引入 (9)t->(r^s) (结论是正确的,前提无论是否正确,此推理都是正确的)注意：如果一个推理,其前提是...

离散数学一道证明题
第15题 （1）只需证明同时满足自反性、对称性、传递性即可 自反性：2x是偶数，显然可以得到<x,x> 对称性：x+y是偶数，则y+x也是偶数，因此由<x，y>，可以得到<y，x> 传递性：x+y,y+z是偶数，则(x+y)+(y+z)-2y是偶数，即x+z是偶数 （2）等价类{0,2,4,6，。。。} {1,3,5...