构造下面推理的证明
题目
构造下面推理的证明
前提:p→(q→s),q,p∨┐r.结论:r→s
实在是看不懂书上写的了.
答案
关键就是把握:┐r∨p等价于r->p
证明:
(1) p∨┐r,题中假设
(2) ┐r∨p,(1)交换律
(3) r->p,(2)等价变换
(4) p->(q->s),题中假设
(5) r->(q->s),(3)(4)三段论
(6) ┐r∨(┐q∨s),(5)等价变换
(7) ┐r∨┐q∨s,(6)结合律
(8) ┐q∨┐r∨s,(7)交换律
(9) q->(r->s),(8)等价变换
(10) q,题中假设
(11) r->s,(9)(10)拆分律
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 【负2】乘【负2分之1】乘【负3】,等于几.
- 汽车从A城开往B城,第一小时行了全城的1/5多8千米,第二小时行了余下的1/3少4千米,距B城还有124千米,求A、B两城见的路程是多少千米?
- 已知x与y+3互为相反数,求代数式:7-2(2x-3y)-3(3x-4y)-31(y-1)的值
- 从纬度位置来看,亚洲地跨哪三带?
- 化学式中亚铁,铁如何分
- 数学课外兴趣小组上期男生占9分之5,这期增加21人女生后男生只占5分之2,小组现在有男女生共多少人?
- 甲乙两人同时从相距18km的两地出发,相向而行,1.8小时相遇,如果甲比乙早出发0.5小时
- change发音
- 一个角的余角是35度16分16秒,What is it standby?(它的补角是?)顺便给我苏教版寒作2011的数学答案
- 协方差怎样计算?
热门考点