Translate the following inference to logic notation: Sarah is playing squash if and only if David is working. If David listens to a song, then Sarah is playing squash. For all x, z will work or z will listen to a song. Therefore Sarah is playing squash.
p <-> P(a). Q(a) -> p. forall x: P(x) or Q(x). Therefore p.