I want to interpret the below sentences...
- ∀x∃y(Cube(x) → (Tet(y) ∧ LeftOf(x, y)))
- ∃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!!