Translate the following inference to logic notation: Thomas is a mechanic or it is late. If Thomas were a mechanic, then Patricia is a taxi driver. For all x, if x_10 listens to a song, then x_10 is a taxi driver. If it is late, then Patricia is listening to a song. Therefore Patricia is a taxi driver.
p or q. p -> P(a). forall x: Q(x) -> P(x). q -> Q(a). Therefore P(a).