Translate the following inference to logic notation: For all x, x is not an astronaut. If Michael reads a book, then Charles is taking a plane. For all x, x is an astronaut if and only if x will take a plane. Therefore Michael is not reading a book or Jennifer is a lawyer.
forall x: ~P(x). p -> Q(a). forall x: P(x) <-> Q(x). Therefore ~p or q.