Translate the following inference to logic notation: William is a bartender or Linda is making tea. If it is cold, then Linda is taking a plane. If William were a bartender, then it is cold. For all x, if x_10 makes tea, then x_10 is taking a plane. Therefore Linda is taking a plane.
p or P(a). q -> Q(a). p -> q. forall x: P(x) -> Q(x). Therefore Q(a).