Translate the following inference to logic notation: If David listens to a song, then Richard is running. For all x, x_13 will go running if and only if x_13 is a politician. David is listening to a song. Therefore Richard is a politician.
p -> P(a). forall x: P(x) <-> Q(x). p. Therefore Q(a).