(2) Using the notes (see relevant examples I did), justify why the following are formulas: (a) (EryP(x,y) → (Q(2) V R(a,b))) (b) Vz(R(z) → VyP(x, y)) (c) (VxP(x) ³³₂\x(Q(z₁x) ^ R(y,x)))

Fig: 1