Translate the following inference to logic notation: David is not an astronaut. James is a doctor. David is an astronaut or Jessica is not a musician. Therefore James is a doctor.
~p. q. p or ~r. Therefore q.