Translate the following inference to logic notation: For all x, if x were an artist, then x is playing tennis. Charles is bored or Linda is an artist. Charles is taking a plane. If Charles were bored, then Linda is playing tennis. Therefore Charles is taking a plane.
forall x: P(x) -> Q(x). p or P(a). q. p -> Q(a). Therefore q.