求解两道离散数学证明题

来源：学生作业帮编辑：大师作文网作业帮分类：综合作业时间：2024/11/10 15:18:30

求解两道离散数学证明题
1.我夫人过生日,我送一束鲜花给她,除非我工作很忙.今天我没有送鲜花给夫人,今天是夫人的生日.由此是否可推得：“今天我工作很忙”.
2.“天冷了要加衣服,否则会生病,生病了就不能去上课,从而会影响学习.”今天天冷,但我没有加衣服,由此是否可推得：“我的学习会受到影响.”
要具体的步骤谢谢了

(我夫人过生日->我送一束鲜花给她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加衣服)->影响学习
加上第二前提,得影响学习

求解两道离散数学证明题求解一道离散数学的等价证明题, 求解一道离散数学的证明题离散数学书一道逻辑谓词证明题急求解~ 离散数学一道证明题离散数学谓词演算小题求解离散数学里的两道逻辑推理题. 求帮助,离散数学证明题求助离散数学的证明题... 离散数学代数系统证明题两道初二数学证明题求解求过程离散数学证明