Part 4 (one point total). For each of the following sequents, provide a proof that demonstrates their validity. These proofs can be done with rules of implication and do not require the use of working assumptions. 1. P&QR, ~RVS, (P&T)&(Q&w) FP&Q 2. P&Q->R, -RVS, (P&T)&(Q&w) FR&Q 3. P&QR, ~RVS, (P&T)&(Q&W) FR&S 4. P&Q=R, ~RVS, (P&T)&(Q&w) + S&W 5. P&Q-R, ~RVS, (P&T)&(Q&w) F(S&W)&(TVY) 6. (P=>R)&(RS) FPS 7. (P->R)&(R->S), -stup 8. ( PR)&( RS), ~5 E-R&-P 9. (P>R)&(R-S), -(R>S)v~5 F-PVQ 10. (PR)&(R>S), ~R~S)v~S, PV(Q&w)F(Q&~R)&(WVP)