Question

离散数学证明逻辑蕴涵关系 (P→(Q→R））⇒(P→Q）→(P→R）

离散数学证明逻辑蕴涵关系 (P→(Q→R））⇒(P→Q）→(P→R）非常感谢

Answer 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）假言推理
故结论成立.