Use the valid argument forms in Table 1.12.1 and logical equivalences in Table 1.5.1 to provide a formal proof of the conclusion from the premises. Use the format shown in lecture to show your work. Premises: pqqr(pq)s Conclusion: sr