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

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**mrpace****Member**- Registered: 2012-08-16
- Posts: 72

(a) Vx(Px U Ey(Qy ^ Py)) = Px

(b) Ey(Ex((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

Pages: **1**