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