Caracterización deductiva de los árboles de forzamiento semántico