科数网
题号:12112 题型:解答题 来源:离散数学同步课堂训练
利用形式演绎法证明: $\{\neg A \vee B, \neg C \rightarrow \neg B, C \rightarrow D\}$ 蕴涵 $A \rightarrow D$ 。
$\text{A.}$
$\text{B.}$
$\text{C.}$
$\text{D.}$
0 人点赞
14 次查看
白板
加入试卷
答案：
解析：
答案与解析：
答案仅限会员可见
微信内自动登录
或
手机登录
或
微信扫码注册登录
点击我要
开通VIP