Para analisar a proposição "se tem OAB, então é advogado", podemos representá-la na forma lógica como \( P \rightarrow Q \), onde \( P \) é "tem OAB" e \( Q \) é "é advogado". A equivalência lógica que estamos buscando é a contrapositiva, que é sempre verdadeira se a proposição original for verdadeira. A contrapositiva de \( P \rightarrow Q \) é \( \neg Q \rightarrow \neg P \), ou seja, "se não é advogado, então não tem OAB". Agora, vamos analisar as alternativas: a) se é advogado, então tem OAB. - Esta é a inversa da proposição original e não é equivalente. b) tem OAB ou é advogado. - Esta não é uma equivalência lógica. c) se não tem OAB, então não é advogado. - Esta é a contrarrecíproca, mas não é a contrapositiva. d) se não é advogado, então não tem OAB. - Esta é a contrapositiva e, portanto, é equivalente à proposição original. e) é advogado e não tem OAB. - Esta não é uma equivalência lógica. Portanto, a alternativa correta é: d) se não é advogado, então não tem OAB.