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