四、证明题（本题共10分） 16.前提：P+(QVR),S→Q,P,S 结论：R 证明 ①P 前提引入(P) ②P→(QVR) 前提引人(P) ③QVP T①，②假言推理 ④S+Q 前提引入(P) (5分) ⑤S 前提引入(P) ⑥Q T⑤，④假言推理 ⑦R T⑥，③析取三段论 分) 12四、证明题(本题共 10分) 16.前提:P-(QV R),S- ， Q,P,S 结论 :R 证明 01 P 前提引人(尸) )P-(QVR) 前提引人(P) ③Qv尸 TOO,O假言推理 (Is~ 二Q 前提引入(P) Os 前提引人(尸) ⑥ ，Q TOO , 假言推理 ⑦ R T) ,③析取三段论 (5分) (10分)