A sentença "Se Castro Alves foi um poeta baiano, então José de Alencar foi um escritor sergipano" equivale a:
  
              A    
            
 Se José de Alencar não foi um escritor sergipano, então Castro Alves foi um poeta baiano
  
              B    
            
 Se Castro Alves não foi um poeta baiano, então José de Alencar não foi um escritor sergipano.
  
              C    
            
 Se Castro Alves foi um poeta baiano, então José de Alencar não foi um escritor sergipano.
  
              D    
            
 Se José de Alencar não foi um escritor sergipano, então Castro Alves não foi um poeta baiano.