need help with 5&6

1. Prove the following arguments are valid. This will require conditional derivation. 1. Premise: (P+Q), (SR). Conclusion: (-Q^-R) (P^-S). 2. Premise: (P-Q). Conclusion: ((PAR) Q). 3. Premise: ((R^Q) S).(-P(R^Q)). Conclusion: (-5). 4. Premise: (P1-Q). Conclusion: (Q--P). 5. Premises: (P-Q). (P->R). Conclusion: (P~(QAR))). 6. Premises: (P-Q=R8). Q. Conclusion: (PR). ogs