Translate the following inference to logic notation: Sarah is reading a book if and only if Jennifer is writing a letter. Sarah is reading a book if and only if Jennifer is writing a letter. Therefore if Jennifer writes a letter, then Sarah is reading a book.
p <-> q. p <-> q. Therefore q -> p.