Translate the following inference to logic notation: If William were a politician, then Linda is an astronaut. If Charles were a taxi driver, then William is a politician. For all x, if x sleeps, then x is a taxi driver. Therefore if Charles sleeps, then Linda is an astronaut.
p -> q. P(a) -> p. forall x: Q(x) -> P(x). Therefore Q(a) -> q.