Translate the following inference to logic notation: If Jennifer works, then Jennifer is a soldier. For all x, x_11 will work if and only if x_11 is a soldier. Therefore if Jennifer were a soldier, then Jennifer is working.
P(a) -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a) -> P(a).