Translate the following inference to logic notation: Joseph is fast if and only if Joseph is running. Joseph is not fast. If Joseph were an electrician, then Joseph is running. Therefore Joseph is not an electrician.
p <-> q. ~p. r -> q. Therefore ~r.