Translate the following inference to logic notation: For all x, x_13 is a bartender if and only if x_13 is an artist. Elisabeth is a poet if and only if Richard is an artist. Elisabeth is a poet or Richard is a bartender. Therefore Richard is an artist.
forall x: P(x) <-> Q(x). p <-> Q(a). p or P(a). Therefore Q(a).