Question 40 please

TABLE 1.14 From P-Q. Q R P More Inference Rules Name/Abbreviation for Rule Can Derive PR (Example 16] Hypothetical syllogism-hs Q [Exercise 25] Disjunctive syllogism-ds Q' P' [Exercise 26] Contraposition-cont P Q [Exercise 27] Contraposition-cont PAP [Exercise 28] Self-reference-self P [Exercise 29] Self-reference-self P ( QR) [Exercise 30] Exportation-exp Q [Exercise 31] Inconsistency-inc (PAQ) V (PAR) [Exercise 32] Distributive-dist (PVQ) A (PVR) (Exercise 33] Distributive-dist PVP ( PQ) R P, P" PAQ VR) PV (QAR) For Exercises 34-42, use propositional logic to prove the arguments valid; you may use any of the rules in Table 1.14 or any previously proved exercise. 34. A' (A B) 38. (A V B) A (A CA 39.( YZ') A (X" Y) A[Y( XW)] A(Y) (YW) 40. (A AB) A (B A') (CAB') 41. (A A B)' A(C' A A)' A(CAB')' A' 42. (PV (QAR)) A (R' VS) A (S T') ( TP) 51 write the argument using propositional wffs (use i no 12. ho