Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

#1 2013-05-21 09:34:42

mrpace
Member

Offline

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.

Board footer

Powered by FluxBB