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