Descripción :

Este proyecto tiene por objetivo desarrollar un conjunto de módulos para el procesamiento sentencias correspondientes a la lógica formal, específicamente, lógica y lógica de predicados elemental, asimismo, se ha desarrollado funciones que ejecutan el proceso de demostración de teoremas aplicando el método de RESOLUCIÓN. Estos han sido implementados en el lenguaje de programación funcional HUGS las características de dicho lenguaje en la implementación del sistema con el fin de establecer las ventajas que implica el uso de estos lenguajes. El proyecto da a conocer las facilidades que proporciona el uso de los lenguajes funcionales en la implementación de problemas relacionados al área de las matemáticas y en particular el área de la lógica formal. Asimismo, da aconocer métodos de implementacion del proceso de análisis gramatical, nonnalización y resolución. El siguiente documento incluye tres partes: la primera que consiste en el estudio concerniente a la lógica de proposiciones y de predicados así como los procesos y métodos de demostración formal. La segunda parte corresponde a un estudio de los lenguajes la implementación de los módulos respectivos de análisis gramatical. normalizacion y resolución en el lenguaje funcional HUGS. La tercera y última parte manual de referencia para el usuario del sistema implementado Lp.