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