Translate the following inference to logic notation: David is a politician. For all x, z is not excited. David is excited or it is overcast. Therefore David is a politician and it is overcast.
p. forall x: ~P(x). P(a) or q. Therefore p and q.