1
$\begingroup$

I want to interpret the below sentences...

  1. ∀x∃y(Cube(x) → (Tet(y) ∧ LeftOf(x, y)))
  2. ∃y∀x (Cube(x) → (Tet(y) ∧ LeftOf(x, y)))

Actually I could interpret the first sentence.

Meaning: Every Cube is left of some Tet

But.. I can't interpret the second sentence.

Let (Cube(x) → (Tet(y) ∧ LeftOf(x, y))) be P(x, y).

There exits some y such that for all x P(x, y) is ture?

.. I don't know.......

please help me to know about it!!

2 Answers 2