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