前提:P→(Q→S),P⋁¬R,Q
结论:R→S
【正确答案】：
用CP规则证明下面有效推理。前提:P→(Q→S),P⋁¬R,Q结论:R→S
- 2024-08-03 23:50:24
- 离散数学(02324)
用CP规则证明下面有效推理。
前提:P→(Q→S),P⋁¬R,Q
结论:R→S
【正确答案】：
前提:P→(Q→S),P⋁¬R,Q
结论:R→S
【正确答案】：