El objetivo de esta guía es el de introducir al estudiante en esta materia, prestando especial atención a su aplicación al análisis y evaluación de las inferencias. En ella hacemos una presentación del Lenguaje de la lógica clásica, damos pautas para la correcta formalización del lenguaje natural y ofrecemos métodos y estrategias para la evaluación de argumentos en el cálculo deductivo y el cálculo de árboles semánticos.
Leido como parte de la bibliografía básica de las asignaturas de Lógica I y Lógica II del grado de filosofía de la UNED. En otros libros se explica algo mejor pero el examen es sobre esto, toca adaptarse.