Translate the following inference to logic notation: It is cloudy if and only if Jennifer is an artist. If Jennifer plays tennis, then it is windy. For all x, x is an artist if and only if x will play tennis. It is not windy. Therefore it is not cloudy.
p <-> P(a). Q(a) -> q. forall x: P(x) <-> Q(x). ~q. Therefore ~p.