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