用推理方法证明:

2024-08-03 23:50:21
离散数学(02324)

用推理方法证明:

【正确答案】：

(每有效推理一步得1分,完成证明得8分没完成证明最多得4分)

上一篇：用CP规则证明下面有效推理。前提:P→(Q→S),P⋁¬R,Q结论:R→S

下一篇：构造以下的推理证明。(1)有理数都是实数,有的有理数是整数,因此有的实数是整数;(2)(∃x)A(x)→(∀x)B(x)⊦(∀x