El objetivo deesta 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.