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