命题推理 前提：P->(Q->R),S->P,Q结论：S->R

来源：学生作业帮助网 编辑：作业帮 时间：2024/06/16 14:51:16
命题推理 前提：P->(Q->R),S->P,Q结论：S->R
x){:qE3x>Mig еԵ ֵ |{u@nMR>>.`YT lȷP!X!̖] F `BB'XDn0TTfaSf6Wəjj,@6)8$فݍ

命题推理 前提：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