Translate the following inference to logic notation: If Mary were a musician, then Susan is an electrician. Susan is an electrician if and only if Mary is a musician. Susan is not an electrician. Therefore Mary is not a musician.
p -> q. q <-> p. ~q. Therefore ~p.