Translate the following inference to logic notation: If Michael writes a letter, then it is snowing. For all x, if x_10 were a musician, then x_10 is writing a letter. It is not snowing. Therefore Michael is not a musician.
P(a) -> p. forall x: Q(x) -> P(x). ~p. Therefore ~Q(a).