Translate the following inference to logic notation: For all x, z will climb a mountain. It is overcast or John is driving a car. If it is overcast, then Elisabeth is not climbing a mountain. Therefore John is driving a car.
forall x: P(x). p or q. p -> ~P(a). Therefore q.