离散数学问题：证明A→(B→C),乛D∨A,B重言蕴含D→C
展开全部
等价蕴含式：B→C⇔¬B∨C
前提3: B
⇒C
则(B→C)→C ①
前提2 乛D∨A⇔D→A
前提1 A→(B→C)
⇒D→(B→C) ②
由①、②，得到
D→C
前提3: B
⇒C
则(B→C)→C ①
前提2 乛D∨A⇔D→A
前提1 A→(B→C)
⇒D→(B→C) ②
由①、②，得到
D→C
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
