Translate the following inference to logic notation: William is an office clerk if and only if William is working. For all x, x_13 will work if and only if x_13 is an office clerk. Therefore William is working if and only if William is an office clerk.
P(a) <-> Q(a). forall x: Q(x) <-> P(x). Therefore Q(a) <-> P(a).