Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2013-05-20 11:34:42

mrpace
Member
Registered: 2012-08-16
Posts: 46

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.

Offline

Board footer

Powered by FluxBB