Translate the following inference to logic notation: Linda is playing squash if and only if Thomas is a musician. Thomas is a musician if and only if Linda is playing squash. Therefore Linda is playing squash if and only if Thomas is a musician.
p <-> q. q <-> p. Therefore p <-> q.