Please answer both the question.

3 Let p and q be propositional variables, and define the following rules of inference on proposi- tional formulas using only p, q, and the logical symbols: (R1) (0,6) if y is a tautology. (R2) ({p},9). Prove that the deductive system with no axioms and the rules of inference described above does not have a Deduction Theorem. Prove that for any language L, and L-formulas y and y, we have that: a F (Vx)(8 + 4) + ((Vx) + (Wx)) (now using the Deduction Theorem.) b The variable x is always substitutable for x in p. c If x is not free in 4, then is for any term t