Please identify which of the following statements are actually true and for those ones of the following 5 statements which are incorrect provide a counterexample.

1)

2)

3)

4)

5)

"Er) (Eyfr, y))"isT RUE, i fandonlyif"Ey (2.c)f(x,y))"isT RU E. "(c)((Vy)(, y))"isT RUE, i fandonlyif"(Vy (Vc)f(x,y))"isTRUE. "(Ex) (2)or (2))"isT RU E, i fandonlyif"(Ex)(r)or(3x)/(x))"isT RU E. "(x))andy(x))"isT RUE, i fandonlyif"((Wx){(z))and((Wx)(x))"isT RU E. "(Ex) (x)andy (2))"isT RUE, i fandonlyif"((Ex) (2))and((Ex)/(x))"isT RU E