Translate the following inference to logic notation: For all x, x is a police officer if and only if x is an office clerk. Jennifer is an office clerk if and only if Jennifer is a police officer. Therefore if Jennifer were an office clerk, then Jennifer is a police officer.
forall x: P(x) <-> Q(x). Q(a) <-> P(a). Therefore Q(a) -> P(a).