Translate the following inference to logic notation: Robert is a bartender or Barbara is not an artist. If Robert were a bartender, then Barbara is an artist. Therefore if Robert were a bartender, then Barbara is an artist.
p or ~q. p -> q. Therefore p -> q.