Translate the following inference to logic notation: If Linda were a musician, then Linda is sad. Linda is a musician if and only if Robert is writing a letter. If Linda were sad, then Robert is writing a letter. Therefore if Linda were a musician, then Robert is writing a letter.
p -> q. p <-> r. q -> r. Therefore p -> r.