Translate the following inference to logic notation: Charles is taking a plane if and only if James is bored. For all x, if x_15 were bored, then x_15 is a taxi driver. For all x, x_15 is not a taxi driver. Therefore Charles is not taking a plane or David is sleeping.
p <-> P(a). forall x: P(x) -> Q(x). forall x: ~Q(x). Therefore ~p or q.