Translate the following inference to logic notation: For all x, if x_10 were a writer, then x_10 is taking a plane. If it is overcast, then David is a writer. It is overcast or Linda is not a police officer. Therefore if Linda were a police officer, then David is taking a plane.
forall x: P(x) -> Q(x). p -> P(a). p or ~q. Therefore q -> Q(a).