问题标题:
离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
问题描述:
离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
惠娟回答:
附加前提证明法.
1S附加前提引入
2S→P前提引入
3P12假言推理
4P→(Q→R))前提引入
5Q→R34假言推理
6Q前提引入
7R56假言推理
所以,推理正确.
点击显示
数学推荐
热门数学推荐