Question

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

Answer 1

等价蕴含式：B→C⇔¬B∨C
前提3: B
⇒C
则(B→C)→C ①
前提2 乛D∨A⇔D→A
前提1 A→(B→C)
⇒D→(B→C) ②
由①、②，得到
D→C