CONTENIDO: Lógica proposicional
Sintaxis y semántica
Formalización. Técnicas de razonamiento
Equivalencia lógica. Leyes Booleanas
Cálculo lógico con tableaux
Parte II. Lógica de primer orden
Sintaxis y semántica
Formalización. Técnicas de razonamiento
Equivalencia. Leyes de los cuantificadores
Cálculo lógico con tableaux
Cálculo lógica con resolución
Ejercicios propuestos
Bibliografía
Resumen
El objeto de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. El libro incluye una colección de más de 300 preguntas de test y ejercicios resueltos detalladamente, más una serie adicional de más de 100 enunciados de preguntas de test y ejercicios sin resolver que se presentan en el décimo y último capítulo.