科数网

试题ID 33348    所属试卷 青岛大学离散数学期末考试题答案及解析

试题
证明在自然推理系统中,$\{p$ to( $q$ to $r$ ),$p \wedge q\}$ vdash $r$ 。
$\text{A.}$ $\text{B.}$ $\text{C.}$ $\text{D.}$ $\text{E.}$ $\text{F.}$

© 2026 科数网 - kmath.cn