Translate the following inference to logic notation: Patricia is a sailor. For all x, if y_4 were a sailor, then y_4 is playing tennis. If Michael were a musician, then Patricia is not playing tennis. Therefore Michael is not a musician.
P(a). forall x: P(x) -> Q(x). p -> ~Q(a). Therefore ~p.