Translate the following inference to logic notation: If Elisabeth were a doctor, then David is a scientist. For all x, z_4 is a doctor or z_4 is not an astronaut. Therefore if Elisabeth were an astronaut, then David is a scientist.
P(a) -> p. forall x: P(x) or ~Q(x). Therefore Q(a) -> p.