The question is about a logic game between two competing players "Abelard and Heloise", Abelard is the name given to the "For all" quantifier and "Heloise" is the name given for the "There exists" quantifier. The statement is:(adsbygoogle = window.adsbygoogle || []).push({});

Is ##(\forall x)(\forall y)(\forall z)(\exists u)(\exists v)(\forall t) xu - yt > v^z## for x, y, z, u, v ##\in N##

So where do I start for this? reading from left to right, does Abelard get 3 turns to move x, y, z, then Heloise can move u and v...?

I am completely lost, any reference to a website or book that would help would be greatly appreciated.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Heloise and Abelard

Tags:

Have something to add?

Draft saved
Draft deleted

**Physics Forums - The Fusion of Science and Community**