How can a question of this nature be approached:
Two avid game players Alice and Bob play three diﬀerent games. They are very competitive and so would do anything within the rules of the game to win. Each player chooses an element $x$ or $y$ from a set (domain of discourse) $D$, according to certain rules. The outcome of the game is decided by a propositional function $P(x,y)$. If $P(x,y)$ holds, then Bob wins. If $P(x,y)$ fails then Alice wins. Suppose that as long as the players obey the rules, Bob always wins.
Describe a proposition that is true corresponding to Bob winning each game.
(a) Alice plays $x$ ﬁrst, then Bob is allowed to play $y$.
(b) Alice plays both $x$ and $y$.
(c) Bob plays $x$ then Alice plays $y$.
And what are the steps to coming up with a solution?