Translate the following inference to logic notation: For all x, if z were a doctor, then z is a server. For all x, if z were a server, then z is a doctor. David is not a server. Therefore David is not a doctor.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). ~Q(a). Therefore ~P(a).