Translate the following inference to logic notation: If Joseph listens to a song, then Thomas is fast. If Joseph were bored, then Thomas is fast. For all x, x will listen to a song or x is bored. Therefore Thomas is fast.
P(a) -> p. Q(a) -> p. forall x: P(x) or Q(x). Therefore p.