Translate the following inference to logic notation: For all x, x_1 will write a letter if and only if x_1 will sleep. If Joseph writes a letter, then Joseph is sleeping. Therefore if Joseph writes a letter, then Joseph is sleeping.
forall x: P(x) <-> Q(x). P(a) -> Q(a). Therefore P(a) -> Q(a).