Translate the following inference to logic notation: It is late if and only if Robert is sleeping. For all x, if z sleeps, then z is running. If Robert sleeps, then it is late. Therefore if it is late, then Robert is running.
p <-> P(a). forall x: P(x) -> Q(x). P(a) -> p. Therefore p -> Q(a).