Translate the following inference to logic notation: Jessica is not playing a game. If Michael were a soldier, then Jessica is a scientist. For all x, x_11 will play a game if and only if x_11 is a scientist. Therefore Michael is not a soldier.
~P(a). p -> Q(a). forall x: P(x) <-> Q(x). Therefore ~p.