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