Hello, please find the question attached below. Thanks

2. (5+5 points) (a) Write down the subformula tree for the formula Veyaz((R(x, z) A R(2, y)) V-R(x,y)) and determine whether it is true in the interpretation M =. (b) Let I be a set of formulas and let (2) be a formula of Predicate Logic, and let T be the term freely substitutable for r in (x). Show that if I V4(x), then there is a derivation of IF (T). 2. (5+5 points) (a) Write down the subformula tree for the formula Veyaz((R(x, z) A R(2, y)) V-R(x,y)) and determine whether it is true in the interpretation M =. (b) Let I be a set of formulas and let (2) be a formula of Predicate Logic, and let T be the term freely substitutable for r in (x). Show that if I V4(x), then there is a derivation of IF (T)