Translate the following inference to logic notation: It is overcast if and only if it is snowing. James is running. If it snows, then James is not running. Therefore it is not overcast.
p <-> q. r. q -> ~r. Therefore ~p.