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

2025-05-24 00:24:28
推荐回答(1个)
回答(1):

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