5. With reference to the formal definition of predicate logic, for the predicate formula 0 = Wy(P(x,y) (Vx(R(x) VQ(x,2,2)) +32(x, )) (a) Draw the parse tree for o. (b) Perform the appropriate substitution and write down the formula olu/