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