Translate the following inference to logic notation: If it is windy, then it is late. It is not windy. It is windy if and only if it is late. Therefore it is not late.
p -> q. ~p. p <-> q. Therefore ~q.