早教吧作业答案频道 -->数学-->
前提：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.已知|5x-3|=3-5x,求x的取值范围.2.P.Q.R.S四人去公园玩跷跷板,从下面的图中 2020-05-13 …
下面计算：①-上（3上7-q）=-3上3-上；②7上•3上7=6上3；③上8÷上上=上7；④（x7 2020-05-17 …
还未回答满分1.00题干下列S不是集合X＝{1,2,3,4,5,6,7,8}的一个划分的是（）请选 2020-06-15 …
1、设p、q是两个数,规定：p△q=3×p-（p+q）÷2,求7△（2△4）2、如果1*5=1、设 2020-07-24 …
已知p是r的充分而不必要条件，q是r的充分条件，s是r的必要条件，q是s的必要条件．现有下列命题： 2020-07-30 …
离散数学中环算几条边K4有几边几面构造下面推理证明(1)前提：┑(p∧q),┑q∧r,┑r结论：┑ 2020-07-30 …
(s/140)-(s/150)=5,怎么就知道s含有3和7两个公因子?我知道140有7,150有3 2020-08-01 …
等比数列an中a3=7,前三项和s3=21a3=a1*q^2=7;(1)s3=a1(1-q^3）/（ 2020-10-31 …
斗地主高手都来看下数字斗地主高手都来看下地主手中牌2、K、Q、J、10、9、8、8、6、6、5、5、 2020-11-21 …
帮我解一下这些方程,很急,要过程,谢谢1)0.25r-0.32=0.45r+0.192)15.3c+ 2020-12-17 …