Translate the following inference to logic notation: Sarah is working. For all x, y will listen to a song if and only if y will cook. If Michael cooks, then Sarah is not working. Therefore Michael is not listening to a song.
p. forall x: P(x) <-> Q(x). Q(a) -> ~p. Therefore ~P(a).