帮忙证明一道离散数学的逻辑证明题
题目
帮忙证明一道离散数学的逻辑证明题
题目：证明(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的值和该切线方程．
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点