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