Translate the following inference to logic notation: It is overcast. For all x, x_16 will not drink water. David is drinking water if and only if Elisabeth is a doctor. Therefore Elisabeth is not a doctor.
p. forall x: ~P(x). P(a) <-> q. Therefore ~q.