Do ponto de vista da lógica, a proposição “se tem OAB, então é advogado” é equivalente à

tem OAB ou é advogado.

se não tem OAB, então não é advogado.

se não é advogado, então não tem OAB.

é advogado e não tem OAB.

se é advogado, então tem OAB.