- #1
James Brady
- 105
- 4
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:
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.
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.