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