用形式演绎法证明:{P-->(QVR),非PV非Q,S-->非R},共同蕴涵P-->非S.