Translate the following inference to logic notation: It is raining if and only if it is cloudy. It is not raining. It is cloudy if and only if James is playing tennis. For all x, if x were poor, then x is playing tennis. Therefore James is not poor.
p <-> q. ~p. q <-> P(a). forall x: Q(x) -> P(x). Therefore ~Q(a).