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

You are not logged in.

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

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

Is the following valid?

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

Board footer

Powered by FluxBB