LOGICA PARA PRINCIPIANTES

MANZANO, MARIAS Y OTRO

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.