Translate the following inference to logic notation: Elisabeth is not poor or David is climbing a mountain. For all x, if x_13 reads a book, then x_13 is an astronaut. David is climbing a mountain if and only if Charles is an astronaut. Elisabeth is poor or Charles is reading a book. Therefore Charles is an astronaut.
~p or q. forall x: P(x) -> Q(x). q <-> Q(a). p or P(a). Therefore Q(a).