Translate the following inference to logic notation: Linda is playing a game. For all x, y will play a game if and only if y is a soldier. Therefore Linda is a soldier.
P(a). forall x: P(x) <-> Q(x). Therefore Q(a).