Translate the following inference to logic notation: For all x, if x were a musician, then x is a sailor. If Linda were a sailor, then Barbara is a soldier. If Barbara were a soldier, then Linda is a musician. Therefore if Barbara were a soldier, then Linda is a musician.
forall x: P(x) -> Q(x). Q(a) -> p. p -> P(a). Therefore p -> P(a).