推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
问题描述：
推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
答
(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
答
高效规范
答
百度搜索就找到了
《离散数学》模拟试题 （四）-mnst4