Translate the following inference to logic notation: Elisabeth is running if and only if Jessica is a musician. For all x, x will not take a plane. For all x, if x were a musician, then x is taking a plane. Therefore Elisabeth is not running.
p <-> P(a). forall x: ~Q(x). forall x: P(x) -> Q(x). Therefore ~p.