Question

离散数学：证明（A→B)→((B→C)→(A→C))

应用公理系统中公理模式、MP规则等证明

Answer 1

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

追问

没有D啊……如题