Pilar Castrillo Criado

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 formalizacion del lenguaje natural y ofrecemos metodos y estrategias para la evaluacion de argumentos en el calculo deductivo y el calculo de arboles semanticos.