Translate the following inference to logic notation: If Barbara were a lawyer, then it is sunny. If it is sunny, then Barbara is sleeping. For all x, x_14 will sleep if and only if x_14 is a lawyer. Therefore if Barbara were a lawyer, then Barbara is sleeping.
P(a) -> p. p -> Q(a). forall x: Q(x) <-> P(x). Therefore P(a) -> Q(a).