What kind of predicate logic statement describes a game that the person who goes first can always win? Write you answer in terms of successive moves by two players.
I am lost here I tried initially showing strategies used to win win1 and win2 and then each move of player 1 and 2 as r1 and r2.
8x9y(R1xy^Win1(y)!Win1(x) where r1 reaches bottom state must have 8 moves to reach bottom state.
Help please I think I may not be making sense