Translate the following inference to logic notation: If Patricia were a police officer, then Elisabeth is working. For all x, if x_12 works, then x_12 is a lawyer. If Elisabeth were a lawyer, then Patricia is a police officer. Therefore if Patricia were a police officer, then Elisabeth is a lawyer.
p -> P(a). forall x: P(x) -> Q(x). Q(a) -> p. Therefore p -> Q(a).