[证明题,7.1分] 利用形式演绎法证明：{P→Q, R→S, P∨R}蕴涵Q∨S。

证明：{P→Q, R→S, P∨R}蕴涵Q∨S(1) P∨R P(2) ØR→P Q(1)(3) P→Q P(4) ØR→Q Q(2)(3)(5) ØQ→R Q(4)(6) R→S P(7) ØQ→S Q(5)(6)(8) Q∨S Q(7)