用CP规则证明下面有效推理。
前提:P→(Q→S),P⋁¬R,Q
结论:R→S
用CP规则证明下面有效推理。
前提:P→(Q→S),P⋁¬R,Q
结论:R→S
【正确答案】:
Top