Translate the following inference to logic notation: If it is windy, then Thomas is driving a car. If Thomas were a poet, then it is windy. For all x, if z drives a car, then z is a poet. Therefore if it is windy, then Thomas is a poet.
p -> P(a). Q(a) -> p. forall x: P(x) -> Q(x). Therefore p -> Q(a).