Translate the following inference to logic notation: If it is cloudy, then it is snowing. For all x, z is sad if and only if z will drive a car. If Jennifer drives a car, then it is cloudy. Therefore if Jennifer were sad, then it is snowing.
p -> q. forall x: P(x) <-> Q(x). Q(a) -> p. Therefore P(a) -> q.