Translate the following inference to logic notation: Charles is an office clerk if and only if Linda is writing a letter. If Charles were an office clerk, then Joseph is reading a book. If Joseph reads a book, then Linda is writing a letter. Therefore if Charles were an office clerk, then Linda is writing a letter.
p <-> q. p -> r. r -> q. Therefore p -> q.