Translate the following inference to logic notation: If David plays tennis, then Karen is a musician. For all x, if x_5 were a mechanic, then x_5 is a musician. David is playing tennis or Karen is a mechanic. Therefore Karen is a musician.
p -> P(a). forall x: Q(x) -> P(x). p or Q(a). Therefore P(a).