Juan Antonio Huertas

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 concepcion, poniendo especial enfasis en la semantica. Aporta tecnicas sencillas de prueba: diagramas de Venn para la logica de predicados monarios y tableaux semanticos, calculos de resolucion y de deduccion natural, tanto para la logica proposicional como para la de primer orden. Contiene varios apendices con un glosario, un indice analitico y unas notas historicas sobre los fundamentos de la logica en el siglo XX. Le acompaña un CD interactivo con mas de 2.000 ejercicios y sus soluciones, asi como un documento con los teoremas habituales de la metalogica.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 concepcion, poniendo especial enfasis en la semantica. Aporta tecnicas sencillas de prueba: diagramas de Venn para la logica de predicados monarios y tableaux semanticos, calculos de resolucion y de deduccion natural, tanto para la logica proposicional como para la de primer orden. Contiene varios apendices con un glosario, un indice analitico y unas notas historicas sobre los fundamentos de la logica en el siglo XX. Le acompaña un CD interactivo con mas de 2.000 ejercicios y sus soluciones, asi como un documento con los teoremas habituales de la metalogica.