6、 利用形式演绎法证明：{ØA∨B,  ØC→ØB,  C→D}蕴涵A→D。