Translate the following inference to logic notation: It is windy if and only if Richard is cooking. For all x, x_12 will listen to a song. For all x, if x_12 cooks, then x_12 is not listening to a song. Therefore it is not windy.
p <-> P(a). forall x: Q(x). forall x: P(x) -> ~Q(x). Therefore ~p.