查看原题
利用形式演绎法证明: $\{\neg A \vee B, \neg C \rightarrow \neg B, C \rightarrow D\}$ 蕴涵 $A \rightarrow D$ 。
                        
不再提醒