离散数学证明题，求解答过程
1个回答
展开全部
证明过程:
① C∧D ⇒ D 简化式
② A∨B→C∧D 前提1
③ A∨B ⇒ D ①②前提三段论
④ A ⇒ A∨B 加法式
⑤ A ⇒ D ③④前提三段论
⑥ D ⇒ D∨E 加法式
⑦ D∨E→F 前提2
⑧ D ⇒ F ⑥⑦前提三段论
⑨ A→F ⑤⑧前提三段论
① C∧D ⇒ D 简化式
② A∨B→C∧D 前提1
③ A∨B ⇒ D ①②前提三段论
④ A ⇒ A∨B 加法式
⑤ A ⇒ D ③④前提三段论
⑥ D ⇒ D∨E 加法式
⑦ D∨E→F 前提2
⑧ D ⇒ F ⑥⑦前提三段论
⑨ A→F ⑤⑧前提三段论
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
