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