Translate the following inference to logic notation: It is sunny or Charles is not taking a plane. It is late. It is not sunny. For all x, if z were curious, then z is taking a plane. Therefore it is late and Charles is not curious.
p or ~P(a). q. ~p. forall x: Q(x) -> P(x). Therefore q and ~Q(a).