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