Translate the following inference to logic notation: If it is overcast, then it is snowing. It is overcast or it is not snowing. Therefore if it is overcast, then it is snowing.
p -> q. p or ~q. Therefore p -> q.