科数网
试题 ID 12112
【所属试卷】
离散数学同步课堂训练
利用形式演绎法证明: $\{\neg A \vee B, \neg C \rightarrow \neg B, C \rightarrow D\}$ 蕴涵 $A \rightarrow D$ 。
A
B
C
D
E
F
答案：
答案与解析仅限VIP可见
解析：
答案与解析仅限VIP可见
利用形式演绎法证明: $\{\neg A \vee B, \neg C \rightarrow \neg B, C \rightarrow D\}$ 蕴涵 $A \rightarrow D$ 。 <div> </div> <br /> <br /> <b>答案</b> <div> 答案与解析仅限VIP可见 </div> <br /> <br /> <b>解析</b> <div> 答案与解析仅限VIP可见 </div>