Please I need help with those 6 questions

3.5. L3 Homework Problems These problems are very similar to the kinds of problems you will be expected to be able to solve to demonstrate mastery of L3. Exercise 3.13. Prove each of the following statements: (1) x is even if and only if x+5 is odd. (2) If x divides y and z divides w, then xz divides yz. (6) For every b>1 there is a unique aR with b=a1a+1. Exercise 3.14. In the following problems make an Abstract Syntax Tree and use it to generate a Natural Deduction Proof Outline. (1) aU:bU:xU:[(Q(a,x)Q(b,x))P(a,b,x)] (2) (pq)(rs) (3) (xU:((R(x))))(xU:[P(x)Q(x)])