La résolution est l'action de décomposer des propositions en propositions plus simples suivant le paradigme de simplicité.