Juan Antonio Huertas: Todos sus libros
-
Logica Para Principiantes
Este libro está destinado a los estudiantes de Lógica de las facultades de Filosofía y Ciencias de la Computación y, en general, para aquellos que abordan la lógica por primera vez. El texto, basado en numerosos ejemplos y ejercicios, es accesible, interdisciplinario y moderno en su concepción, poniendo especial énfasis en la semántica. Proporciona técnicas de prueba simples: diagramas de Venn para los predicados monarales y tablas semánticas, cálculos de resolución y deducción natural, tanto para la lógica proposicional como para la lógica de primer orden. Contiene varios apéndices con un glosario, un índice analítico y algunas notas históricas sobre los fundamentos de la lógica en el siglo XX. Acompaña un CD interactivo con más de 2.000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de los metales.