命题推理 前提:P->(Q->R),S->P,Q结论:S->R
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/16 16:12:17
![命题推理 前提:P->(Q->R),S->P,Q结论:S->R](/uploads/image/z/8473058-26-8.jpg?t=%E5%91%BD%E9%A2%98%E6%8E%A8%E7%90%86+%E5%89%8D%E6%8F%90%EF%BC%9AP-%3E%28Q-%3ER%29%2CS-%3EP%2CQ%E7%BB%93%E8%AE%BA%EF%BC%9AS-%3ER)
命题推理 前提:P->(Q->R),S->P,Q结论:S->R
命题推理
前提:P->(Q->R),S->P,Q
结论:S->R
命题推理 前提:P->(Q->R),S->P,Q结论:S->R
附加前提证明法
1 S 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理
1 S P附加前提
2 S->P P
3 P T(1)(2) I
4 P->(Q->R) ...
全部展开
1 S P附加前提
2 S->P P
3 P T(1)(2) I
4 P->(Q->R) P
5 Q->R T(3)(4) I
6 Q P
7 R T(5)(6) I
8 S->R CP
收起