Math Is Fun Forum

mrpace

Member

Registered: 2012-08-16

Posts: 88

pick out free and bound variables?

(a) œVx(Px U E›y(Qy ^ Py)) = Px
(b) ›Ey(E›x((Px v Qx) ^ Px)) U Py)

note: let V= for all, U= that symbol that looks like a U rotated anti clockwise quarter of a turn, E=there exists, ^=and, v=or
and the equals sign in the first line is meant to be 'logically equivalent to.

to me, all the variables look bound, but something tells me that's not right.