ISBN(13): 9788420686813 Título: INTRODUCCIÓN A LA LÓGICA FORMAL (1) Autor/es: Deaño Gamallo, Alfredo ; Editorial: ALIANZA EDITORIAL, S.A.
ISBN(13): 9788436258585 Título: FORMAS LÓGICAS (GUÍA PARA EL ESTUDIO DE LA LÓGICA) (2003) Autor/es: Castrillo Criado, Pilar ; Díez Martínez, Amparo ; Editorial: U.N.E.D.
Los dos textos de la bibliografía básica son los indicados para la preparación de las dos asignaturas de Lógica I y Lógica II.
El programa guarda, en líneas generales, correspondencia con los contenidos del libro de Deaño. El libro Formas Lógicas no se ha concebido como un manual de Lógica, sino como un complemento necesario, orientado especialmente a ofrecer:
- pautas para la correcta formalización del lenguaje natural, con abundantes ejemplos comentados,
- estrategias para la convalidación de argumentos en el cálculo de la Deducción Natural, con ejercicios resueltos y comentados,
- explicaciones más pormenorizadas de algunas de las nociones básicas de la Lógica, y
- la presentación del método de evaluación de fórmulas y esquemas de argumentos mediante Árboles Semánticos (este método no se explica en el libro de Deaño).
Los dos libros son de lectura obligatoria, es decir, serán los libros de referencia para las pruebas presenciales.