求解两道离散数学证明题
1.我夫人过生日,我送一束鲜花给她,除非我工作很忙.今天我没有送鲜花给夫人,今天是夫人的生日.由此是否可推得:“今天我工作很忙”.
2.“天冷了要加衣服,否则会生病,生病了就不能去上课,从而会影响学习.”今天天冷,但我没有加衣服,由此是否可推得:“我的学习会受到影响.”
要具体的步骤谢谢了
人气:412 ℃ 时间:2020-04-03 10:13:54
解答
(我夫人过生日->我送一束鲜花给她or我工作很忙->不送)and (not送鲜花给夫人)and(我夫人过生日)((not我夫人过生日)or我送一束鲜花给她or(not我工作很忙)or不送)and (not送鲜花给夫人)and(我夫人过生日)(((not我夫人过生日)or(not我工作很忙))and(我夫人过生日))and (not送鲜花给夫人)(false or ((not我工作很忙)and(我夫人过生日)))and (not送鲜花给夫人)
(not我工作很忙)and(我夫人过生日)and (not送鲜花给夫人)=>(not我工作很忙)
2.(天冷->加衣服or((天冷and not加衣服)->生病))and(生病->影响学习)
(not天冷or加衣服or(not(天冷and not加衣服)or生病))and(生病->影响学习)
(not天冷or加衣服or(not天冷)or 加衣服or生病)and(生病->影响学习)
(not天冷)or 加衣服or生病)and(生病->影响学习)
(天冷and(not加衣服)->生病)and(生病->影响学习)=>
天冷and(not加衣服)->影响学习
加上第二前提,得 影响学习
推荐
- 求解一道离散数学的证明题
- 1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价
- 设a,b,c是格(L,∨,∧)的任意3个元素,证明:
- 解一道离散数学中的集合证明题
- 离散数学证明题
- 直接引语变间接引语 1.He said,“I shall go to school.” 2.He said,“I am free and I can go there no
- 运输 英语怎么说
- 3,4,5,12加减乘除等于24
猜你喜欢
- 下列各数中,三个数两两互素的是A:3、5和6.B:5,6和7,c:8,9和10.D:5,7和15
- 妈妈买了两瓶酱油,当第一瓶用去6分之5,第二瓶用去4分之3时,它们剩下的部分同样多.这两瓶酱油原来质量的.
- 给“你同意他不同意“加上不同的标点,表示不同的意思.(至少4种)
- 玉米的根是须根系,大豆是直根系与植物的根的吸收、固定功能有无直接关系
- Ba(OH)2·8H2O+2NH4Cl属于什么基本反应
- “男儿不展风云志,空负天生八尺躯”你对这句诗如何理解?
- 在显微镜中与调节光线强弱有关的结构是什么?为什么?A.光圈 B.粗细准焦螺旋 C.通光空 D.反光镜
- 一元一次方程举例题