Translate the following inference to logic notation: Mary is an electrician or John is not a bartender. John is not a bartender. If Mary were an electrician, then John is a bartender. Therefore Mary is not an electrician.
p or ~q. ~q. p -> q. Therefore ~p.