离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P, Q=>S→R

Answer 1

附加前提证明法。
1 S 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R)) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理
所以，推理正确。

追问

是用的CP规则吗复制去Google翻译翻译结果

追答

是的，不同的教材上说法不一样，但意思相差不大

追问

好的，谢谢复制去Google翻译翻译结果