FORMAS LOGICAS. GUIA PARA EL ESTUDIO DE LA LOGICA

El objetivo de esta Guía es el de introducir al estudiante en esta materia, inferencias. En ella hacemos una presentación del lenguaje de la lógica clásica (Lógica de Enunciados y Lógica de Primer Orden con identidad y descripciones), damos pautas para la correcta formalización del lenguaje natural y ofrecemos metodos y estrategias para la evaluación de argumentos en el cálculo deductivo y el cálculo de árboles semánticos.