Translate the following inference to logic notation: Linda is a carpenter if and only if it is late. Joseph is listening to a song or Joseph is writing a letter. Joseph is not listening to a song or Linda is a carpenter. It is late if and only if Joseph is writing a letter. Therefore it is late.
p <-> q. r or s. ~r or p. q <-> s. Therefore q.