Diseño de cubierta: Estuart, S.A.

Fotocomposición: MonoComp, S.A.

Contenido: p. xi a xii.

Apéndice soluciones a los ejercicios: p. 239 a 329.

Bibliografía: p. 331.

Primera parte: cálculo de proposiciones
1. Introducción 2. Método semántico. Teoría interpretativa 3. Teoría de la demostración 4. Coherencia entre la teoría interpretativa y la teoría de la demostración.

Parte segunda : cálculo de predicados de primer orden
5. Introducción 6. Método semántico. Teoría interpretativa 7. Teoría de la demostración 8. Coherencia entre la teoría semántica y la teoría de demostración.

Parte tercera : demostración automática de teoremas
9. Introducción a la demostración automática de teoremas 10. Principio de resolución.

La presente obra trata en profundidad el estudio de la lógica formal en dos niveles, según sea el grado de complejidad en la simbolización del lenguaje. En la primera parte se estudia el nivel básico o lógica proposicional, desde la simplicidad en la formalización del lenguaje y en los métodos de demostración, hasta la teoría de los sistemas formales axiomáticos y las propiedades de los mismos. En la segunda parte se desarrolla el nivel de la lógica de predicados de primer orden, con el consiguientes aumento de complejidad tanto en la construcción dellenguaje, como en los mmétodos de demostración, Tambièn se rpesenta un sistema formal predicativo y se analizan sus propiedades. Para finalizar, la obra dispone de una tercera parte introductoria a la demostración automática, cuyo objetivo es preparar al alumno para abordar el estudio posterior de otros temas del área de inteligencia artificial.

Para estudiantes del primer curso de ingeniería en informática, además puede ser utilizado por personas no universitarias debido a la cantidad de ejemplos y detalles explicativos.