Translate the following inference to logic notation: If Linda were an office clerk, then Linda is a sailor. If Linda drinks water, then Linda is an office clerk. For all x, if z were a sailor, then z is drinking water. Therefore if Linda were an office clerk, then Linda is drinking water.
p -> P(a). Q(a) -> p. forall x: P(x) -> Q(x). Therefore p -> Q(a).