En la exención con progresividad lo que se busca, como en la deducción por doble imposición, es evitar que se tribute dos veces por el mismo concepto.
Lo que se hace mediante este mecanismo es no incluir lo ganado en el extranjero como parte de los ingresos, pero si como parte de los ingresos necesarios para calcular el tipo impositivo (esto lo calcula el programa).