Translate the following inference to logic notation: If it is sunny, then Thomas is a server. For all x, if y_2 were a server, then y_2 is an office clerk. If Thomas were an office clerk, then it is sunny. Therefore if it is sunny, then Thomas is an office clerk.
p -> P(a). forall x: P(x) -> Q(x). Q(a) -> p. Therefore p -> Q(a).