Translate the following inference to logic notation: If Robert were bored, then Robert is sleeping. For all x, x_11 is bored if and only if x_11 will sleep. Therefore if Robert sleeps, then Robert is bored.
P(a) -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a) -> P(a).