CASTRILLO CRIADO, PILAR / DÍEZ MARTÍNEZ, AMPARO
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 métodos y estrategias para la evaluación de argumentos en el cálculo deductivo y el cálculo de árboles semánticos.
