Translate the following inference to logic notation: Linda is a mechanic if and only if it is snowing. If it snows, then Linda is a mechanic. Linda is not a mechanic. Therefore it is not snowing.
p <-> q. q -> p. ~p. Therefore ~q.