Translate the following inference to logic notation: For all x, z will listen to a song if and only if z is a poet. Linda is a poet or Karen is bored. Linda is listening to a song or Karen is not bored. Therefore Linda is listening to a song.
forall x: P(x) <-> Q(x). Q(a) or p. P(a) or ~p. Therefore P(a).