Translate the following inference to logic notation: If Jessica were bored, then Richard is a doctor. For all x, if x reads a book, then x is taking a plane. Jessica is bored if and only if Susan is a scientist. If Richard were a doctor, then William is reading a book. Therefore if Susan were a scientist, then William is taking a plane.
p -> q. forall x: P(x) -> Q(x). p <-> r. q -> P(a). Therefore r -> Q(a).