早教吧作业答案频道 -->数学-->
前提：r→p,¬pVq,¬sVr,结论：s→q证明：（1）s（2）¬sVr,P（3）r（4）r→pP（5）p（6）¬pVq（7）q
题目详情
前提：r→p,¬pVq,¬sVr,结论：s→q
证明：
（1）s
（2）¬sVr,P
（3）r
（4）r→p P
（5）p
（6）¬pVq
（7）q
证明：
（1）s
（2）¬sVr,P
（3）r
（4）r→p P
（5）p
（6）¬pVq
（7）q
▼优质解答
答案和解析
(1)s 附加前提引入
(2)¬svr 前提引入
(3)r (1)(2)析取三段论
(4)r->p 前提引入
(5)p (3)(4)析取三段论
(6)¬pVq 前提引入
(7)q (5)(6)析取三段论
(8)s->q (1)(7)合取引入
(2)¬svr 前提引入
(3)r (1)(2)析取三段论
(4)r->p 前提引入
(5)p (3)(4)析取三段论
(6)¬pVq 前提引入
(7)q (5)(6)析取三段论
(8)s->q (1)(7)合取引入
看了 前提：r→p,¬pVq,¬s...的网友还看了以下：
A.P(S1)P(s2)和V(S3)V(S4)B.P(S1)P(S3)和V(S5)V(S6)C.V( 2020-05-26 …
A.P(S3)P(S4)和V(S5)V(S6)B.V(S5)V(S6)和P(S5)P(S6)C.P( 2020-05-26 …
A.P(Sn), V(S2)B.P($n), V(S1)C.P(S2), V(S1)D.V(S1), 2020-05-26 …
A.P(S1), V(S2)B.P(Sn), V(S1)C.P(S2), V(S1)D.V(S1), 2020-05-26 …
A.P(S1),V(S2)B.P(Sn),V(S1)C.P(S2),V(S1)D.V(S1),P(S 2020-05-26 …
A.P(S2),V(S2)和V(S1)B.P(S1),V(S1)和V(S2)C.V(S1),P(S2 2020-05-26 …
A.P(Sn),V(S2)B.P(Sn),V(S1)C.P(S2),V(S1)D.V(S1),P(S 2020-05-26 …
一定质量的理想气体发生状态变化时，其状态参量p、V、T的变化情况可能是（）A.p、V、T都增大B. 2020-06-03 …
一定质量的理想气体发生状态变化时，其状态参量p、V、T的变化情况可能是（）A.p、V、T都增大B. 2020-06-03 …
气体有两个独立的参数,u(或h)可以表示为p和v的函数,即u=f(p,v).¡气体有两个独立的参数 2020-07-31 …