Translate the following inference to logic notation: Michael is not a writer. If Michael were a writer, then Susan is an artist. Susan is an artist if and only if Michael is a writer. Therefore Susan is not an artist.
~p. p -> q. q <-> p. Therefore ~q.