Translate the following inference to logic notation: For all x, if x were rich, then x is a doctor. If Linda reads a book, then Richard is rich. If Richard were a doctor, then it is sunny. If it is sunny, then Linda is reading a book. Therefore if Richard were rich, then Richard is a doctor.
forall x: P(x) -> Q(x). p -> P(a). Q(a) -> q. q -> p. Therefore P(a) -> Q(a).