Translate the following inference to logic notation: John is playing tennis. For all x, if y were a doctor, then y is drinking water. Linda is a doctor or James is a nurse. If James were a nurse, then Linda is drinking water. Therefore Linda is drinking water.
p. forall x: P(x) -> Q(x). P(a) or q. q -> Q(a). Therefore Q(a).