Translate the following inference to logic notation: If Jennifer reads a book, then Michael is a taxi driver. For all x, if z works, then z is a taxi driver. Michael is running. Michael is working or Jennifer is reading a book. For all x, if z were a taxi driver, then z is working. Therefore Michael is running and Michael is a taxi driver.
p -> P(a). forall x: Q(x) -> P(x). q. Q(a) or p. forall x: P(x) -> Q(x). Therefore q and P(a).