首页
道彬知识百科
>
离散数学证明逻辑蕴涵关系 (P→(Q→R))툡(P→Q)→(P→R)
离散数学证明逻辑蕴涵关系 (P→(Q→R))툡(P→Q)→(P→R)
2025-12-17 00:28:36
推荐回答(1个)
回答1:
1)┐s 前提引入
2)q→s 前提引入
3)┐q 1)2)拒取式
4)(p∧┐q)→r 前提引入
5)p 前提引入
6)p∧┐q 3)5)合取
7)r 6)4)假言推理
故结论成立.
相关问答
最新问答
大窑和大窖区别
怎么花支付宝账户余额的钱
大麦盒子怎么优酷看不了视频
早晨空腹喝水之后吃香蕉可以吗?
余额宝怎么用
女孩子近来啊
魔兽争霸1.20免CD补丁是所有的1.20都能用么?
这是什么字求解?
款款什么意思
皇城突袭1.1英雄怎么用技能?