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