Translate the following inference to logic notation: David is taking a plane if and only if Mary is excited. If Jessica writes a letter, then David is taking a plane. If Mary were excited, then Jessica is writing a letter. Therefore if David takes a plane, then Mary is excited.
p <-> q. r -> p. q -> r. Therefore p -> q.