Translate the following inference to logic notation: It is snowing if and only if Patricia is a mechanic. It is not snowing. Patricia is a mechanic. Therefore Linda is a writer.
p <-> q. ~p. q. Therefore r.