Math Is Fun Forum

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

You are not logged in.

Pages: 1

#1 2014-06-07 17:46:49

Test for validity in LPC

∃x(∃yPy ⊃ Px)

I can do more complex ones, but it’s the simple ones like these which I’m not sure about.

Offline

Pages: 1