科数网
试题ID
33348
所属试卷
青岛大学离散数学期末考试题答案及解析
试题
证明在自然推理系统中,$\{p$ to( $q$ to $r$ ),$p \wedge q\}$ vdash $r$ 。
$\text{A.}$
$\text{B.}$
$\text{C.}$
$\text{D.}$
$\text{E.}$
$\text{F.}$