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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:50 浏览量: 1
用CP规则证明下面有效推理。
前提:P→(Q→S),P⋁¬R,Q
结论:R→S
【正确答案】: