早教吧作业答案频道 -->数学-->
前提：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...的网友还看了以下：
最基础一次函数下列说法不正确的是1.公式V=4/3πr^3中,4/3和π是常量,r是自变量,V是r的 2020-03-31 …
帮我代入数字解答,S侧=chS侧=πdhS侧=2πrhS表=2πrh+πr²×2S表=πdh+π( 2020-04-12 …
有奖,要100%对的啊1.V锥=20立方米,h=5米,求S底2.V锥=54立方分米,h=9分米,求 2020-05-13 …
物理中V=S分之t→T=S分之V是什么意思,我听同学说这是导公式,但是我还是不太懂,请教一下各位仁 2020-05-13 …
A.s(u)∧sp(v)∧p(w)B.SP(u)∧S(v)∧P(w)C.P(u)∧SP(v)∧S(w 2020-05-26 …
A.S(u)SP(v)P(w)B.SP(u)S(V)P(w)C.P(u)SP(v)S(w)D.S(u 2020-05-26 …
multiplydefinedsymbolsfound#includemain(){doublea 2020-07-23 …
s听=(v声t-v车t)的二分之一是求什么的（初二上物理）s听=(v声t-v车t)的二分之一还有s除 2020-11-02 …
有一物块从斜面下滑至反向转动（和物块运动方向相反）的粗糙传送带上,v物=8m/s,a=-2m/s求v 2020-12-12 …
如何推出匀变速直线运动推论：不论物体做匀加速直线运动还是匀减速直线运动,总有v（s/2）=v(t/2 2020-12-28 …