帮忙证明一道离散数学的逻辑证明题
题目
帮忙证明一道离散数学的逻辑证明题
题目:证明(p→q)∧(q→r)→(p→r)是永真式
请高手把证明过程写出来
答案
其推理式为:(p→q)∧(q→r)→(p→r),要求从(p→q)∧(q→r)能推导出p→r.以下用命题自然推理来证明:
①{1}(p→q)∧(q→r) P/∴p→r
②{1}p→q T①
③{1}q→r T①
④{2}p P
⑤{12}q T②④
⑥{12}r T③⑤
⑦{1}p→r D④⑥
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 已知一个正比例函数的图象经过点(-2,4),则这个正比例函数的表达式是_.
- Is the ruler long or ______?It"s_______.
- 函数f(x)=sin(x/2-派/4),x属于R的最小正周期为?
- 家里的一切对于爸爸妈妈都非常熟悉.(用修改符号修改病句.)
- 按格式造句
- 防震演习作文600字
- 一桶油,用去总质量的75%,又买来85千克,这时油的质量恰好是原来的7分之6,原来有用多少千克?
- 建筑工地上有两堆砖,第一堆的块数是第二堆的1.2倍,如果再给第二堆增加3600块,两堆的块数就相等了.两堆砖原来各有多少块?
- 10米是8米的
- 第一行:1第二行:1/2,1/2第三行:1/3,1/6,1/3,第四行:1/4,1/12,1/12,1/4,第五行,1/5,1/20,1/30,1/20,1/5
热门考点