Translate the following inference to logic notation: For all x, x_8 is excited if and only if x_8 will cook. If Jennifer goes running, then John is cooking. For all x, x_8 is not excited. Therefore Jennifer is not running.
forall x: P(x) <-> Q(x). p -> Q(a). forall x: ~P(x). Therefore ~p.