给出下列推理的过程的形式证明
题目
给出下列推理的过程的形式证明
前提: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的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 当a为何值时,分式x^2+2x+3分之4+3x的值为负?
- Although she believed that she had a good chance of recovering,the doctor said that few,_____,could
- 两数相除,商是12,余数是26,被除数、除数、商和余数的总和为454.请你写出这个除法算式.
- 英文翻译:我们感觉到腿有点麻或者脚变得有点冷
- 1.Where are your parents going?
- 1KW电机的功率计算方法,最好有公式,
- 已知x^2+2y^2=1,求x和y的取值范围
- 有一个东西始终弄不明白,就是做到一类题目是简答题,用化学语言交流.举个例子:(1)氢气在氧气中燃烧生成水 是 2H2+O2点燃 =2H2O → 我不懂的就是我脑子里想的应该是H2+O2点燃 =H20
- ∫1/(1+cos t)dt
- 将下列角度数换成弧度数或弧读书换成度数1:22度33‘ 2:-210度 3:-7/6派 4:-10/3派
热门考点