Translate the following inference to logic notation: Charles is cooking if and only if it is raining. If it rains, then Charles is cooking. Therefore if Charles cooks, then it is raining.
p <-> q. q -> p. Therefore p -> q.