推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s

推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s

推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
百度搜索就找到了
《离散数学》模拟试题 （四）-mnst4

高效规范

(1) Q→R P
(2) ﹁R→﹁Q T(1) E
(3) ﹁R P
(4) ﹁Q T(2),(3) I
(5) P∨Q P
(6) ﹁Q→P T(5) E
(7) P T(4),(6) I
(8) P→S P
(9) S T(7),(8) I