命题推理 前提：P->(Q->R),S->P,Q结论：S->R
来源：学生作业帮助网 编辑：六六作业网 时间：2024/12/19 00:57:36
命题推理前提：P->(Q->R),S->P,Q结论：S->R命题推理前提：P->(Q->R),S->P,Q结论：S->R命题推理前提：P->(Q->R),S->P,Q结论：S->R1SP附加前提2S-
命题推理 前提：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 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