Translate the following inference to logic notation: If it is sunny, then Linda is driving a car. It is cloudy. For all x, z_1 will not drive a car. Therefore it is not sunny.
p -> P(a). q. forall x: ~P(x). Therefore ~p.