Translate the following inference to logic notation: David is climbing a mountain or Richard is a nurse. For all x, y will read a book if and only if y is a nurse. If David climbs a mountain, then Richard is reading a book. Therefore Richard is reading a book.
p or P(a). forall x: Q(x) <-> P(x). p -> Q(a). Therefore Q(a).