Lógica para principiantes

Descripción

Este libro, 'Lógica para principiantes', está diseñado para estudiantes de Lógica en facultades de Filosofía e Informática, así como para aquellos que se acercan a la lógica por primera vez. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinario y moderno en su concepción, con un énfasis especial en la semántica. Proporciona técnicas sencillas de prueba, como 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. Incluye apéndices con un glosario, un índice analítico y notas históricas sobre los fundamentos de la lógica en el siglo XX. Además, se acompaña de 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.