Translate the following inference to logic notation: If it rains, then Susan is playing squash. Susan is playing squash if and only if it is raining. If Susan plays squash, then it is raining. Therefore it is raining if and only if Susan is playing squash.
p -> q. q <-> p. q -> p. Therefore p <-> q.