离散数学命题演绎证明A∨B→C∧D,D∨E→F => A→F 毕业七八年了,