5. Use propositional logic to prove the arguments below using table 1.14

5. Use propositional logic to prove the arguments below using table 1.14 [(CD)C][(CD)D][(PQ)R][P(QR)] TABLE 1.14 More Inference Rules \begin{tabular}{|l|l|l|} \hline From & Can Derive & Name/Abbreviation for Rule \\ \hlinePQ,QR & PR[ Example 16] & Hypothetical syllogism-hs \\ \hlinePQ,P & Q[ Exercise 25] & Disjunctive syllogism-ds \\ \hlinePQ & QP [Exercise 26] & Contraposition-cont \\ \hlineQP & PQ[ Exercise 27] & Contraposition-cont \\ \hlineP & PP[ Exercise 28] & Self-reference-self \\ \hlinePP & P[ Exercise 29] & Self-reference-self \\ \hline(PQ)R & P(QR)[ Exercise 30] & Exportation-exp \\ \hlineP,P & Q[ Exercise 31] & Inconsistency-inc \\ \hlineP(QR) & (PQ)(PR) [Exercise 32] & Distributive-dist \\ \hlineP(QR) & (PQ)(PR) [Exercise 33] & Distributive-dist \\ \hline \end{tabular}