CARACTERIZACIÓN SEMÁNTICA DE LOS ÁRBOLES DEFORZAMIENTO SEMÁNTICO PARA LA LÓGICA DE PREDICADOS