Translate the following inference to logic notation: If Robert cooks, then Robert is a writer. For all x, y is a writer if and only if y will cook. Therefore if Robert were a writer, then Robert is cooking.
P(a) -> Q(a). forall x: Q(x) <-> P(x). Therefore Q(a) -> P(a).