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