证明：（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规则请解释一下（3）（5）（7）是如何得到的,原式求证明明为

来源：学生作业帮助网 编辑：作业帮 时间：2024/11/26 10:50:27
xRN@|RPi חrsH_}**wB  BT51< ]O~E!3ͮ^1hKv;=\2ҒB~@V:7 (}0rkˬ1W;GnKgi+l5|lQ{ )6tEPZXT.Túzj4QÓ*w/ưh[q]X7~C9r\Y{{qs Ĥ Cz 5tLC^)gU2윋ƭp.8@aH,_47ՐM=W171 &u?6w/ȳ RZeT1Ьp,\N4g qE/DCU>;7c@ j;?¹$ɑREd* :3| =QH^\/6k*vpم)#a