Translate the following inference to logic notation: If Linda were a soldier, then Jessica is taking a plane. If Michael were an electrician, then Linda is a soldier. For all x, if x takes a plane, then x is a sailor. Therefore if Michael were an electrician, then Jessica is a sailor.
p -> P(a). q -> p. forall x: P(x) -> Q(x). Therefore q -> Q(a).