Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepción, poniendo especial énfasis en la semántica.

• Aporta técnicas sencillas de prueba: diagramas de Venn para la lógica de predicados monarios y tableaux semánticos, cálculos de resolución y de deducción natural, tanto para la lógica proposicional como para la de primer orden.
• Contiene varios apéndices con un glosario, un índice analítico y unas notas históricas sobre los fundamentos de la lógica en el siglo XX.
• Le acompaña un CD interactivo con más de 2.000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.

El contenido se organiza de la siguiente manera:

• Parte 1. Lógica proposicional: Introducción general, el lenguaje de la lógica proposicional, semántica, tableaux semánticos y otros cálculos proposicionales.
• Parte 2. Conjuntos y diagramas: Teoría básica de conjuntos, diagramas de Venn, relaciones y funciones.
• Parte 3. Lógica de primer orden: El lenguaje de la lógica de primer orden, semántica, tableaux para lógica de primer orden y otros cálculos de primer orden.
• Apéndices, Bibliografía e Índice analítico.