Translate the following inference to logic notation: For all x, if z were an artist, then z is rich. Jessica is rich if and only if Sarah is poor. For all x, if z were rich, then z is an artist. Sarah is not poor. Therefore Jessica is not an artist.
forall x: P(x) -> Q(x). Q(a) <-> p. forall x: Q(x) -> P(x). ~p. Therefore ~P(a).