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.

En este libro se ofrecen un conjunto de actividades prácticas, acompañadas de una breve reflexión teórica, que reflejan las distintas metodologías experimentales o formas de proceder científicas que han venido desarrollandose en la psicologia para analizar la motivacion y la emocion humana.