Translate the following inference to logic notation: For all x, if x were an office clerk, then x is a taxi driver. It is cloudy. For all x, x is an office clerk. Therefore it is cloudy and Linda is a taxi driver.
forall x: P(x) -> Q(x). p. forall x: P(x). Therefore p and Q(a).