Translate the following inference to logic notation: If Michael were a writer, then Linda is a politician. For all x, if x were an artist, then x is a writer. Michael is an artist. Therefore Linda is a politician.
P(a) -> p. forall x: Q(x) -> P(x). Q(a). Therefore p.