给出下列推理的过程的形式证明

给出下列推理的过程的形式证明

题目
给出下列推理的过程的形式证明
前提:p→(q→r),(r∧s)→t ,┐h→(s∧┐t).
结论:p→(q→h)
答案
用CP规则证明:(1) p P(附加前提)(2) q P(附加前提)(3) p→(q→r) P(4) q→r T(1)(3)I(5) r T(2)(4)I(6) (r∧s)→t P(7)(┐rv┐s)vt T(6)E(8)r→(┐svt) T(7)E(9)(┐svt) T...
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.