早教吧 育儿知识 作业答案 考试题库 百科 知识分享

离散数学问题:证明A→(B→C),乛D∨A,B重言蕴含D→C

题目详情
离散数学问题:证明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
看了 离散数学问题:证明A→(B→...的网友还看了以下: