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