Translate the following inference to logic notation: Sarah is cooking if and only if Barbara is a politician. For all x, if x_10 were a nurse, then x_10 is cooking. Therefore if Sarah were a nurse, then Barbara is a politician.
P(a) <-> p. forall x: Q(x) -> P(x). Therefore Q(a) -> p.