Translate the following inference to logic notation: Richard is drinking water or Thomas is not a carpenter. For all x, x_17 is excited or x_17 is a carpenter. If Thomas were excited, then Richard is drinking water. Therefore Richard is drinking water or Jessica is a doctor.
p or ~P(a). forall x: Q(x) or P(x). Q(a) -> p. Therefore p or q.