[证明题,7.1分] 利用形式演绎法证明:{ØA∨B, ØC→ØB, C→D}蕴涵A→D。
出自:河南理工大学-计算机科学与技术-离散数学